New method of detecting symmetry of CRM type symmetric function in OR-coincidence algebraic system based on tabular method(基于表格法的CRM型对称函数检测)
分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明.与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效....
Main Authors: | , , |
---|---|
Format: | Article |
Language: | zho |
Published: |
Zhejiang University Press
2007-05-01
|
Series: | Zhejiang Daxue xuebao. Lixue ban |
Subjects: | |
Online Access: | https://doi.org/zjup/1008-9497.2007.34.3.311-314 |