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

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

三值扭环形计数器的研究

本文根据二值扭环形计数器的设计思想,提出了三值扭环形计数器基于模代数的三 值D 型 和 J K 型 触发器仁`〕的电路设计.在此基础上,进一步提出了借助于三值 K 图化简技术,设计具有自校正功能的三值扭环形计数器的方法     

三值函数表格法最小化中的消变量与消闭化简

本文在讨论Post代数中三值函数的代数基础、成本计算方法与函数简化准则的基础上提出了兼考虑消变量与消阑化简的三值函数表格法最小化程序.通过实例的化简表明考虑消阂化简后所得的函数的最小化SOP形式要比只考虑消变量化简所得的形式更简单，相应电路的成本更低.     

三值逻辑函数的降维K图表示及其应用

本文分析了在发展三值函数降维K图中的困难,提出了用数组表示填入函数的降维K图形式,并讨论了它在函数的与/或最小化及T门综合中的应用     

具有推挽输出结构的三值TTL电路

本文分析了以电阻为负载的传统三值TTL反相器的缺点,借鉴二值TTL推挽输出级的结构,设计了三值TTL电路的推挽输出级.用SPICEⅡ对设计电路的计算机模拟表明,具有推挽输出结构的三值TTL电路具有较强的驱动能力及较快的工作速度.     

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

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

异或函数在固定极性下化简的新算法

文献[1]提出了基于b_i图的异或函数在固定极性下化简的算法,但对于n变量需要进行n-1次图形变换,因此有必要研究新的化简算法.     

基于零点的函数K图和dj图的转换

介绍了函数的最大项展开式和CRM展开式及其图形表示，提出函数K图和dj图的零点的概念，并以此为基础讨论了基于零点的函数K图和dj图之间的转换方法。     

降维dj图及或-符合函数的化简

提出了降维dj图,讨论了获得降维dj图的代数方法和图形方法,给出了利用降维dj图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj图的引入压缩了dj图的规模,从而扩大了dj图的使用范围.     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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