一种新的布尔函数求补算法.pdfVIP

天津大学学报 第 卷 第 期 年 月 %: : $(( + _/‘a9b/cde9a_ea ‘aefD.edg f?h7%: a?7: _ih7 $(( 一种新的布尔函数求补算法! $ % 陈国章 何丕廉 陈 敏 # # 天津理工学院 计算机科学与工程系 天津 天津大学 电子信息工程学院 天津 ’ # %(()*$’ # %(((+$* 天津大学 语音中心 天津 %’ # %(((+$, 摘 要 研究了 积的和型 布尔函数的求补算法 分析了已有的求补算法之间的深层联 - , # ./0 系 给出了否定树的概念 证明了单边求补算法 算法与德 摩根律是等效的 不相交 # ’ 1 6 1 .2345 的 算法是递归算法的一个特例 提出了以否定树为基础的解决 型函数求补运算 7 ’ .2345 ./0 的新算法 ’ 关键词 否定树 布尔函数 单边函数 求补算法 - * * * 中图分类号- 8%’$ 文献标识码- 文章编号-(:)%;$%+$((,(:;(::+;(8 / 9 积的和型 形式是布尔函数的一种传统表 算法 不相交 R ./0 , X .2345, J K U J Y 示方法 现在已得到了广泛的研究和应用 通常 算法 递归求补运算 假设一个布尔函数为 # ’ #./0 Z , S 型布尔函数求补运算方法是直接使用摩根律 即逐项 S # J K LJ O LJ W L W L W W R R S R 取反再将它们相乘 但是 这个乘积的过程效率很 则 S