Recursive Disjoint Products: A Review of Three Algorithms

Disjoint Products (DP) applied to 2-terminal system reliability recursively partitions the logic polynomial into nonintersecting terms. Each step represents the incremental contribution of one minimal state. Three different DP algorithms for s-coherent systems were published. This paper develops the theory common to all three algorithms, and also shows those respects in which they differ from one another. Proofs are sketched.