Abstract
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.

This publication has 9 references indexed in Scilit: