An Alternative Fault-Tree Algebra
James M. Cargal · IEEE Transactions on Reliability · 1980
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.