论文部分内容阅读
<正> 布尔差分(布尔导数)是对逻辑电路进行动态分析和求故障测试集的有效数学工具,自1968年由Sellers等人提出后被人们广泛采用.如果将逻辑函数的布尔表达式用多维体集合表示,利用自动逻辑综合中所定义的一些运算符和多维体集合之间的一些运算方法可以不需要展开为最小项而求布尔差分,因而占用存储单元较少.n个变量逻辑函数可以表示为: