布尔函数表示的二元判定图方法的研究与实现

Binary Decision Diagrams for Presentation of Boolean Functions

布尔函数是数字系统与计算机科学等领域的基础,有广泛的应用。本文对布尔函数的二元判定图表示方法进行了详细讨论,说明了基于布尔函数的真值表和香农展开式来构造二元判定图的方法、二元判定图的简化、以及它在数字电路设计与测试中的应用。

Boolean functions have wide applications in digital system and computer science. The binary decision diagrams method for the presentation of Boolean functions is discussed in this paper. The methods using the truth table and Shannon’s expansion of Boolean functions to build the binary decision diagrams are shown. The applications of binary decision diagrams in digital system design and test pattern generation are given.