基于图形方法的冗余函数与自反函数检测

冗余函数和自反函数是特殊的布尔函数，本文阐述了冗余函数和自反函数的定义，提出了冗余函数和自反函数的性质，讨论了冗余函数和自反函数的图形检测方法．并用实例说明之．通过计算机编程操作．可以得到用于多变量冗余函数和自反函数检测的快速算法．     

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

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

基于K图的逻辑函数OC展开式在固定极性下的化简

分析了K图在表示逻辑函数最大项展开式的特点和性质,发现在K图中作含某格的所有聚合圈相应的和项中所含变量的极性与该格对应的最大项具有相同的极性.在此基础上提出了基于K图的逻辑函数OC展开式在固定极性下化简的新方法.该方法可以利用K图直接得到逻辑函数的最小化的OC展开式,从而省略了传统方法把K图转换为dj图的步骤,具有直观、方便等特点.     

基于K图的布尔差分计算的图形方法

基于K图和降维K图，讨论了计算逻辑函数的一阶布尔差分和二阶布尔差分的图形方法。实例表明该方法具有直观、简单等特点，并且它能给出布尔差分的最简与／或式。     

四值互斥变量K图及其化简

参照二值互斥变量K图的讨论,提出了四值互斥变量K图,讨论了它的特点以及在四值互斥变量逻辑函数化简中的应用,给出了四值互斥变量K图化简的规则,并用具体实例作了说明.提出的四值互斥变量K图大大地压缩了K图的规模,扩大了K图的应用范围.     

基于0-1编码空间的谱系数图与K图的图形互换

为了进一步补充谱系数理论，使谱技术更好地应用于数字电路故障检测等方面，从基于(0，1)空间的Hadamard矩阵出发，通过对矩阵的性质分析，提出了(0，1)空间的谱系数图与K图的3种图形互换法：基于行矢量圈的图形互换法，基于非零项的图形互换法和基于折叠加减的图形互换法，并对各种方法予以实例说明，此外，还讨论了这些图形转换方法的各自的适用范围，对6变量以下的函数，这3种方法具有简单、直观和准确的特点。     

基于传输开关理论的电流型CMOS模糊控制表查询电路

针对硬件实现模糊控制表查询电路存在结构复杂、用数字式设计困难等问题,提出了将模糊控制表转换为多值K图,在此基础上结合传输开关理论采用电流型CMOS设计模糊控制表查询电路的方法,并用此方法具体设计了一个5元素-论域的电流型CMOS模糊控制表查询电路.通过对设计实例的PSPICE仿真,表明本文提出的设计方法简单易行,设计的电流型CMOS查询电路具有结构简单和高速推理的优点.     

基于三值K图的多输出三值函数化简的新方法

参照二值多输出逻辑函数的K图化简，提出一种携带重复次数信息的多输出三值K图，从而避免在多个输出之间画大量的与门．本文基于二值多输出函数及三值单输出函数K图化简的讨论，提出了基于三值K图的多输出三值函数化简的新方法，给出了化简规则，并用实例作了具体说明．多输出三值函数K图的化简方法大大降低了电路成本．     

计算含无关项布尔c-导数的K图方法

为简化与-或-非代数系统中含无关项逻辑函数布尔c-导数的计算过程,从逻辑函数布尔c-导数的定义出发,提出了计算含无关项一阶布尔c-导数和二阶布尔c-导数的K图方法.该方法通过折叠映射K图中的填入格值,并对相应格值进行"或"运算以计算含无关项布尔c-导数.应用实例表明,该方法直观有效,且能直接得到布尔c-导数的最简与/或式.     

基于K图的布尔E-导数计算的图形方法

分析了逻辑函数的K图和降维K图,在此基础上,从逻辑函数定义出发,讨论了用K图和降维K图计算逻辑函数一阶布尔E-导数和二阶布尔E-导数的图形方法,实例表明该方法具有直观、简单等特点,并且能给出布尔E-导数的最简与/或式.