基于图形方法的冗余函数与自反函数检测  

Examination redundant function or self-negative function based on the graph method

作　　者：任兵[1] 陈偕雄[2] 

机构地区：[1]杭州电子科技大学电子信息学院,浙江杭州310018 [2]浙江大学信息与电子工程学系,浙江杭州310028

出　　处：《浙江大学学报（理学版）》2007年第3期318-320,329,共4页Journal of Zhejiang University（Science Edition）

摘　　要：冗余函数和自反函数是特殊的布尔函数,本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,讨论了冗余函数和自反函数的图形检测方法,并用实例说明之.通过计算机编程操作,可以得到用于多变量冗余函数和自反函数检测的快速算法.The redundant function and the self-negative function are special Boolean functions. The definition of the redundant function and self negative function was elaborated in this article. The nature of the redundant function and the self-negative function were proposed and the graph examination method of the redundant function anti self nega rive function was discussed with examples. Through computer programming operation, the fast algorithm of the multivariable redundant function and self-negative function was obtained.

关 键 词：冗余函数 自反函数 K-图 BJ图 分解图 

分 类 号：TP331[自动化与计算机技术—计算机系统结构]