摘要
阐述了已有的求补运算算法的潜在统一性 ,证明了单边求补算法、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.
出处
《天津师范大学学报（自然科学版）》
CAS
2001年第2期36-40,共5页
Journal of Tianjin Normal University：Natural Science Edition
基金
国家自然科学基金资助项目 (6 97830 0 4)
关键词
否定树
布尔函数
求补算法
algorithm trees
boolean function
complementation algorithms.
