求补算法相关论文
研究了SOP(积的和型)布尔函数的求补算法,分析了已有的求补算法之间的深层联系,给出了否定树的概念.证明了单边求补算法、Sharp算......
阐述了已有的求补运算算法的潜在统一性,证明了单边求补算法、sharp算法与德*摩根律是等效的算法;不相交的sharp算法是递归算法的......