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

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

冗余函数和自反函数是特殊的布尔函数,本文阐述了冗余函数和自反函数的定义,提出了冗余函数和自反函数的性质,讨论了冗余函数和自反函数的图形检测方法,并用实例说明之.通过计算机编程操作,可以得到用于多变量冗余函数和自反函数检测的快速算法.

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.