|
|||||
|
|
| 一种新的求补算法 | |
| 引用本文： | 陈国章,何丕廉,陈敏.一种新的求补算法[J].天津师范大学学报(自然科学版),2001,21(2):36-40. |
| 作者姓名： | 陈国章 何丕廉 陈敏 |
| 作者单位： | 1. 天津理工学院计算机科学与工程系, 2. 天津大学电子信息工程学院计算机系, 3. 天津大学多功能语音教学基地, |
| 基金项目： | 国家自然科学基金资助项目(69783004) |
| 摘 要： | 阐述了已有的求补运算算法的潜在统一性，了单边求补算法，sharp算法与德．摩根律是等效的算法，不相交的sharp算法是递归算法的一个特例，提出了否定树的概念，给以否定树为基础的解决SOP型函数求补运算的更快的算法。 |
| 关 键 词： | 否定树 布尔函数 求补算法 |
| 文章编号： | 1001-7720(2001)02-0036-05 |
| 修稿时间： | 2000年12月30 |
A New Complementation Algorithm |
|
| CHEN Guo zhang,HE Pi lian ,CHEN Min.A New Complementation Algorithm[J].Journal of Tianjin Normal University(Natural Science Edition),2001,21(2):36-40. | |
| Authors: | CHEN Guo zhang HE Pi lian CHEN Min |
| Institution: | CHEN Guo zhang1,HE Pi lian 2,CHEN Min 3 |
| Abstract: | 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. |
| Keywords: | algorithm trees boolean function complementation algorithms |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |