Citation

Keqiang R. Reliab. Eng. 1986; 16(3): 207-217.

Copyright

(Copyright © 1986, Elsevier Publishing)

DOI

10.1016/0143-8174(86)90041-7

PMID

unavailable

Abstract

An expansion formula for transforming Boolean algebraic expression in disjoint form is proved. Based on it, a method for transforming system failure function in disjoint form is devised. The fact that the expansion can be done for several elements simultaneously makes the method flexible and fast. Some examples from FTA and network analysis are examined by the new method to demonstrate its algorithm and merit. Also, many Boolean algebraic relationships can be proved very easily by means of the expansion formula.