检测旋转对称函数的表格方法

讨论了旋转对称函数的定义和性质,提出了检测基于最小项展开逻辑函数的旋转对称函数的表格方法,提出了直接从RM型逻辑函数的Reed—Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的旋转对称函数的表格方法．文中提出的表格方法具有简单、方便和易于计算机编程操作等优点．     

检测逻辑函数中线性变量的代数方法

根据线性变量、线性函数的定义和性质,提出了5个定理及3个推论．在此基础上给出了检测基于与-或展开的、基于或-与展开的、RM型的、基于或-符合展开的逻辑函数中线性变量的代数方法,并举例说明了具体检测过程．本文的工作对于完善数字电子CAD设计中的逻辑综合理论具有实际意义．另一方面,相对于其它特殊逻辑函数而言,线性函数还缺乏系统的研究,本文的工作对于补充和完善线性函数的理论具有重要意义。     

线性函数的性质及其应用 线性函数的性质及其应用

给出了线性函数、部分线性函数和线性变量的定义,提出了它们的性质.根据上述定义,利用布尔代数中的基本定理和公式以及自双反函数和对称函数的定义对这些性质给出了证明.最后讨论了它们在逻辑综合以及计算逻辑函数的布尔差分中的应用.     

计算OC型逻辑函数的布尔偏导数与布尔差分的表格方法

讨论了OC型逻辑函数一阶布尔偏导数的规范OC展开式．在此基础上提出了计算OC型逻辑函数一阶、二阶布尔偏导数的表格方法．根据二阶布尔差分的定义以及二阶布尔差分与布尔偏导数的关系提出了两种计算OC型逻辑函数二阶布尔差分的表格方法,并作了比较．本文提出的计算OC型逻辑函数布尔偏导数与布尔差分的表格方法具有简捷、方便以及易于计算机编程操作等优点．     

含任意项特殊逻辑函数的图形化检测

从K图出发,提出了利用二叉树法对含有任意项的冗余函数、线性函数、对称函数、自反函数及自双反函数等特殊逻辑函数进行检测的图形化方法.实例表明,该图形方法具有简单、直接、方便、可编程的特点.     

基于表格法的RM展开系数与或-符合展开系数的转换

讨论了逻辑函数的RM展开系数与或-符合展开系数之间的关系式,分析了bj图→dj图转换的图形方法．在此基础上提出了逻辑函数的RM展开系数→或-符合展开系数以及或-符合展开系数→RM展开系数转换的表格方法．与图形方法相比,表格法具有不需要画图,不受变量数限制以及易于计算机编程操作等优点．     

基于RM型通用门ULM3的对称函数综合

阐述了基本RM型对称函数的定义和性质，给出了任意”变量对称函数在n-1变量基本RM型对称函数完备集中展开系数的计算公式，在此基础上，提出了基于RM型三变量通用逻辑门ULM3的变量数为奇数或偶数的对称函数综合方法，实例验证了上述方法的有效性．     

部分变量取反的RM型对称函数检测的新方法

分析了函数的RM展开式中乘积项所含的部分变量取反引起的变化，在此基础上提出了直接检测部分变量取反的RM型对称函数的新方法。     

含任意项特殊逻函数的图形化检测

从K图出发,提出了利用二叉树法对含有任意项的冗余函数、线性函数、对称函数、自反函数及自双反函数等特殊逻辑函数进行检测的图形化方法．实例表明,该图形方法具有简单、直接、方便、可编程的特点．     

检测含任意项特殊逻辑函数的图形方法

线性函数、冗余特殊、自反函数、自双反函数等特殊逻辑函数在电路设计中具有独特的优点.从特殊逻辑函数的定义出发,提出了基于K图检测含任意项线性函数、冗余函数的方法及基于分解图检测含任意项自反函数、自双反函数的方法,并举例说明了具体检测过程.应用结果表明,该图形方法具有直观,便捷等特点.     

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

分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明．与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效．     

线性函数和部分线性函数的图形检测方法

线性函数是布尔代数中常用的特殊函数之一,本文根据线性函数、部分线性函数的定义与性质,提出了检测线性函数与部分线性函数六个定理．在此基础上,给出了基于K图与bj图的线性函数与部分线性函数的图形检测方法,并举例说明具体检测过程．     

基于Haar变换的冗余函数和线性函数的检测

给出了归一化Haar变换矩阵元的通式,讨论了归一化Haar变换谱系数与冗余函数和线性函数的关系．在此基础上提出了基于归一化Haar变换的检测冗余函数和线性函数的谱方法．该方法的主要优点是可以同时检测其他特殊逻辑函数以及易于计算机编程操作．     

基于CRM型三变量通用逻辑门的查表设计

讨论了逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序以及P分类代表函数的接线方案.在此基础上提出了基于CRM型三变量通用逻辑门的查表设计方法,并给出了具体设计实例.     

基于互补输出的三变量通用阈值逻辑门CRM展开函数查表设计

介绍了在或-同或系统中逻辑函数的CRM展开与分类,给出了基于逻辑函数CRM展开的三变量函数P分类表、接线顺序表.讨论了互补输出通用阈值逻辑门及其设计方法.提出了CRM展开的P分类代表函数的接线方案表.在此基础上,提出了基于互补输出的三变量通用阈值逻辑门的任意三变量CRM展开函数的查表设计方法.通过若干设计实例,证明了此方法的有效性.     

计算机辅助特殊逻辑函数检测

在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程．