或-符合代数系统相关论文
讨论了CRM的dj图的读图规则及和式项变量数图.对dj图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.揭示了dj图的......
提出了降维dj图,讨论了获得降维dj 图的代数方法和图形方法,给出了利用降维dj 图化简或-符合函数的方法,实例验证了化简方法的有效......
针对或/符合代数系统中电路设计与化简的要求,提出了一种全新的图形表示方法--CRM分解图,给出了其特点和性质,并作了相应证明.此外......
根据对称函数的性质，在对称函数K图／bj图的基础上提出了部分对称函数／全对称函数的正图表示．给出了利用对称函数dj图检测对称性的方法，......
分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化，在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型......
逻辑函数的CRM展开式是逻辑函数在或-符合代数系统中的一种基本表示形式,而对称函数又有许多独特的优点.在讨论了与-或-非代数系统......
针对或-符合代数系统中缺失对称变量检测的有效方法等问题,提出了该代数系统基于或-符合运算Reed-Muller展开系数的十二类变量对称......
随着数字电路的设计规模和复杂程度的大大提高，传统的数字理论已不能很好的满足需要，有必要对它做进一步的探讨和研究。近代数字理论......
