An Algorithm for Symbolic Reliability Computation with Path-sets or Cut-sets

An algorithm obtains a symbolic expression for system reliability, given a set of events (path-sets or cut-sets) as input. The algorithm is simple in structure and uses few probability laws. The resultant symbolic expression is compact and requires relatively few arithmetic operations in its evaluation.