基于最小割集的多项因式相乘布尔函数化简研究

摘要

化简布尔函数的方法有许多种,有布尔代数法、行列法、矩阵法等。针对大型事故树求最小割集的困难提出一种化简布尔函数的新算法。通过此法,可以化简相乘因式基本事件较少、重复基本事件较多情况的布尔函数。通过实例验证发现,此法在计算时思路清晰,也大大提高了求解本类布尔函数的计算效率。