一种新的求补算法  

A New Complementation Algorithm

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

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

出　　处：《天津师范大学学报（自然科学版）》2001年第2期36-40,共5页Journal of Tianjin Normal University：Natural Science Edition

基　　金：国家自然科学基金资助项目 (6 97830 0 4)

摘　　要：阐述了已有的求补运算算法的潜在统一性 ,证明了单边求补算法、sharp算法与德·摩根律是等效的算法 ;不相交的sharp算法是递归算法的一个特例 ;提出了否定树的概念 ;给出了以否定树为基础的解决SOP型函数求补运算的更快的算法 .This paper exposes an underlying unification of the existing complementation algorithms. It is proven that unate complementation and sharp are the same as DeMorgan Law algorithm and disjoint sharp is a special case of the recursive method; it proposes algorithm trees; it gives faster algorithms for finding complements of functions in SOP form based on algorithm trees.

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

分 类 号：O153.2[理学—数学]