基于表格法的CRM型对称函数检测  

New method of detecting symmetry of CRM type symmetric function in OR-coincidence algebraic system based on tabular method

作　　者：应时彦[1] 肖林荣[2] 陈偕雄[2] 

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

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

基　　金：浙江省自然科学基金资助项目(Y105124)

摘　　要：分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效.Symmetry is a significant property of a logic function. However, the conventional methods of detecting symmetry of a logic function are too complicated if the function is expanded to CRM in OR-COINCIDENCE algebraic system. Firstly, the change caused by negation of partial variables in sum terms of CRM expansion of a function was analyzed. Secondary, based upon tabular method a new analysis method for detecting CRM type totally symmetric function and CRM type symmetric function with partial negated variables was presented, and some examples were also given. The logic design based on the symmetry of logic function is simpler and more effective as compared with conventional design.

关 键 词：对称函数 对称性检测 或-符合代数系统 CRM展开式 

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