%0 Journal Article
%T 一种新的布尔函数求补算法
%A 陈国章
%A 何丕廉
%A 陈敏
%J 天津大学学报(自然科学与工程技术版)
%P 447-451
%D 2001
%X 研究了sop(积的和型)布尔函数的求补算法,分析了已有的求补算法之间的深层联系,给出了否定树的概念.证明了单边求补算法、sharp算法与德？摩根律是等效的、不相交的.sharp算法是递归算法的一个特例.提出了以否定树为基础的解决sop型函数求补运算的新算法.
%K 否定树
%K 布尔函数
%K 单边函数
%K 求补算法
%U http://xbzrb.tjujournals.com/oa/DArticle.aspx?type=view&id=200104008