摘要
基于冗余函数、自反函数及自双反函数的定义和性质,利用表格法检测基于与-或-非代数系统、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
出处
《浙江大学学报（理学版）》
CAS
CSCD
北大核心
2007年第5期520-523,共4页
Journal of Zhejiang University（Science Edition）
关键词
冗余函数
自反函数
自双反函数
表格法
redundant function
self-negative function
self-dual function
tabular method
