NEW ALGORITHM TO CONSTRUCT DUAL FAMILY

作     者：段志刚 DUAN ZHIGANG(Beijing Institute of Control Engineering)

作者机构：Beijing Institute of Control Engineering 

出 版 物：《Chinese Science Bulletin》 (科学通报(英文版))

年 卷 期：1988年第33卷第9期

页      面：722-725页

学科分类：07[理学] 0701[理学-数学] 070101[理学-基础数学] 

主　　题：Boolean minimization factorization utilized repeatedly arbitrary steps nonempty eliminated letter 

摘      要：In this report, a new algorithm to construct a dual family of the Boolean function is presented. By double dual, all the prime implicate terms of the Boolean function or noncoherent fault tree can be obtained. To identify all the system failure modes in the field of fault tree analysis on the noncoherent system, the important concept of the prime implicate set (PIS) must