An Alternative Fault-Tree Algebra

This paper describes an algebra that complements Boolean algebra and which can be useful for non-coherent systems. This algebra involves substantially less manipulation than Boolean algebras do, and is convenient for describing the exclusive-or operation.