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

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

作　　者：郦可[1] 陈偕雄[1] 

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

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

摘　　要：基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、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

关 键 词：冗余函数 自反函数 自双反函数 表格法 

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