Prime Implicants of Noncoherent Fault Trees
- 1 June 1981
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Reliability
- Vol. R-30 (2) , 98-100
- https://doi.org/10.1109/tr.1981.5220996
Abstract
The discussion prompted by a Kumamoto & Henley paper is analyzed and the central issues are set forth. Results of the SETS program are used to clarify some misunderstandings and to show that it can be used to obtain quickly all of the results presented by Kumamoto & Henley. A special class of noncoherent trees is identified on which the standard algorithm for coherent trees will always work.Keywords
This publication has 5 references indexed in Scilit:
- Fault Trees, Prime Implicants, and NoncoherenceIEEE Transactions on Reliability, 1980
- Top-down Algorithm for Obtaining Prime Implicant Sets of Non-Coherent Fault TreesIEEE Transactions on Reliability, 1978
- A Prime Implicant Algorithm with FactoringIEEE Transactions on Computers, 1975
- A Way to Simplify Truth FunctionsThe American Mathematical Monthly, 1955
- Simplest normal truth functionsThe Journal of Symbolic Logic, 1955