| 一种新的布尔函数求补算法 |
| |
| 引用本文： | 陈国章,何丕廉,陈敏.一种新的布尔函数求补算法[J].天津大学学报(自然科学与工程技术版),2001,34(4):447-451. |
| |
| 作者姓名： | 陈国章 何丕廉 陈敏 |
| |
| 作者单位： | 陈国章（天津理工学院计算机科学与工程系,天津 300191）
何丕廉（天津大学电子信息工程学院,天津 300072）
陈敏（天津大学语音中心,天津 300072） |
| |
| 基金项目： | 国家自然科学基金项目(69783004). |
| |
| 摘 要： | 研究了SOP(积的和型)布尔函数的求补算法,分析了已有的求补算法之间的深层联系,给出了否定树的概念.证明了单边求补算法、Sharp算法与德*摩根律是等效的、不相交的.Sharp算法是递归算法的一个特例.提出了以否定树为基础的解决SOP型函数求补运算的新算法.
|
| 关 键 词： | 否定树 布尔函数 单边函数 求补算法 |
| 文章编号： | 0493-2137(2001)04-0447-05 |
| 修稿时间： | 2000年10月5日 |
ALGORITHM FOR BOOLEAM FUNCTION COMPLEMENTATION STOCHASTIC REPLENISHMENT TIME |
| |
| CHEN Guo zhang ,HE Pi lian ,CHEN Min.ALGORITHM FOR BOOLEAM FUNCTION COMPLEMENTATION STOCHASTIC REPLENISHMENT TIME[J].Journal of Tianjin University(Science and Technology),2001,34(4):447-451. |
| |
| Authors: | CHEN Guo zhang HE Pi lian CHEN Min |
| |
| Institution: | CHEN Guo zhang 1,HE Pi lian 2,CHEN Min 3 |
| |
| Abstract: | This paper studies the complementation of Boolean functions in SOP form,and the deeper relations between previous complementation methods. A new algorithm for Algorithm Tree complement function is proposed. It is proven that unate complementation and sharp algorithm are the same as DeMorgan Law algorithm ,disjoint sharp algorithm is a special case of the recursive method.A new algorithm is given to find complements of functions in SOP form based on Algorithm in this paper. |
| |
| Keywords: | algorithm trees Boolean function unate function complementation algorithms |
| 本文献已被 CNKI 等数据库收录！ |
