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

ALGORITHM FOR BOOLEAM FUNCTION COMPLEMENTATION STOCHASTIC REPLENISHMENT TIME

作　　者：陈国章[1] 何丕廉[2] 陈敏[3] 

机构地区：[1]天津理工学院计算机科学与工程系,天津300191 [2]天津大学电子信息工程学院,天津300072 [3]天津大学语音中心,天津300072

出　　处：《天津大学学报（自然科学与工程技术版）》2001年第4期447-451,共5页Journal of Tianjin University：Science and Technology

基　　金：国家自然科学基金项目 (697830 0 4 )

摘　　要：研究了 SOP(积的和型 )布尔函数的求补算法 ,分析了已有的求补算法之间的深层联系 ,给出了否定树的概念 .证明了单边求补算法、Sharp算法与德·摩根律是等效的、不相交的 .Sharp算法是递归算法的一个特例 .提出了以否定树为基础的解决 SOP型函数求补运算的新算法 .This paper studies the complementation of Boolean functions in SOP form,and the deeper relations between previous complementation methods. A new algorithm for Algorithm Tree complement function is proposed. It is proven that unate complementation and sharp algorithm are the same as DeMorgan Law algorithm ,disjoint sharp algorithm is a special case of the recursive method.A new algorithm is given to find complements of functions in SOP form based on Algorithm in this paper.

关 键 词：否定树 布尔函数 单边函数 求补算法 

分 类 号：O153.2[理学—数学] TP301.6[理学—基础数学]