基于b_j图检测自双反函数和自反函数的新方法  

New method of testing self-dual function and self negative function on b_j-map

作　　者：郑惠群[1] 陈偕雄[2] 

机构地区：[1]金华职业技术学院电子工程系,浙江金华321017 [2]浙江大学信息与电子工程系,浙江杭州310028

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

摘　　要：自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质,给出了基于bj图获得变量全部取反的逻辑函数■的bj图的方法.在此基础上提出了基于bj图检测自双反函数和自反函数的新方法.该图形方法具有直观、简单以及可并行处理等优点.Both self-dual function and self-negative function are special logical function in the Boolean algebra, which can be used in the area such as function classification, analysis and synthesis of function, and fault detection of the combinational circuits. In this paper, their definitions and properties were discussed, a graphic method for deriving the bi-map of f（x1^-～xn^-） by the use of bi-map was also given. Based upon it, a new graphic method for testing selfdual function and self-negative function was proposed according to their definitions. Several practical examples were given. This graphic method has several advantages such as intuition, simplicity, suiting to parallel processing and so on.

关 键 词：BJ图 自双反函数 自反函数 

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