基于表格方法的冗余函数、自反函数及自双反函数的检测

Detection of redundant function,self-negative function and self-dual function based on tabular method

基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、RM展开和CRM展开的冗余函数、自反函数和自双反函数.讨论了表格法作为检测特殊函数的易用性和可编程性.

Redundant function, self-negative （SN） function and self-dual （SD） function have many advantages. The detection of redundant function, self-negative （SN） function and self-dual （SD） function is of importance in the research for them. Based on the definitions and properties of redundant function, self-negative （SN） function and self-dual （SD） function, they are detected by using tabular method which are based on Boolean expression, RM and CRM. Therefore, the methods of detecting redundant function, self-negative （SN） function and self-dual （SD） function are presented. Furthermore, the simplicity and programmability of the tabular method are discussed