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

研究了sop(积的和型)布尔函数的求补算法,分析了已有的求补算法之间的深层联系,给出了否定树的概念.证明了单边求补算法、sharp算法与德？摩根律是等效的、不相交的.sharp算法是递归算法的一个特例.提出了以否定树为基础的解决sop型函数求补运算的新算法.