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

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

自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质,给出了基于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.