化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，因而也无函数式是否化简到了最简的判别方法。为解决这些难题，提出了“镜像消元法”，给出了化简的具体步骤和方法。对于6个以上变量的逻辑函数的化简，镜像消元法优于卡诺图法。     

评介逻辑函数化简新方法——“取同弃异法”

评介了张继桓提出的“逻辑函数化简新方法——取同弃异法”,认为该法具有四个特点:1.以“1”和“0”表示逻辑函数的两种状态——直观性强;2.化简中不受变元数的限制——行列表式;3.揭示了逻辑函数的化简规律——取同去异;4.提出了能迅速得到化简结果的计算方法——判别公式。     

逻辑函数公式法化简技巧

本文用实例总结出逻辑函数公式法化简的技巧方法，从而可对逻辑函数进行灵活快速的化简。     

利用多路选择器网络实现任意逻辑函数的若干方法Ⅰ

多路选择器是一种中规模集成逻辑器件．利用多路选择器网络可以实现任意逻辑函数．利用多路选择器实现逻辑函数的化简方法与利用逻辑门实现逻辑函数的化简方法是不同的．本文介绍了利用多路选择器网络实现任意逻辑函数的若干方法，这些方法在利用中规模数字集成电路进行数字电路与系统设计有一定的应用参考价值．     

多输出逻辑函数的一种化简方法

多输出逻辑函数的化简，目前还没有成熟的方法．凭经验决定蕴涵项的取舍，往往不能确定方案是否最简．由于将多个输出电路作为一个整体电路看待，每个单输出函数最简单并不能保证整体方案最简单．若能找出各输出函数间的公共项，即使它不是质蕴涵项，由于公用，也可能得到最简的方案一作者提出了一种规范而又切实可行的化简方法，用此方法最终可解决多输出函数的化简问题．     

基于整数序列表示的逻辑函数化简

作者在开发一个逻辑代数符号系统中，引入了逻辑函数的一种紧凑的基于整数序列表达方式，将每一个逻辑函数用一个整数序列来描述，每一个简单项用一个或两个整数来表达．基于整数序列的表示方式特别便于机械化．在逻辑函数Q-M化简法的基础上，提出了一个改进的基于整数运算的逻辑函数化简法．该算法只在同类简单项中寻找冗余变量，能输出具有最少的项数，且在项数相等的情况下又具有最少因子总数的所有最简与或式。     

逻辑函数的组合项化简法

提出了逻辑函数的组合项化简法,它吸取了卡诺图化简法和列表化简法的优点,是一种全新的逻辑函数化简法,与代数化简法,卡诺图化简法和列化简法相比,显更加直接和简便,所谓组合项,即由几个最小项合并而成的项。     

逻辑函数的化简与实现

提出能反映逻辑函数最小项合并规律的最小项合并图,给出了基于最小项合并图的逻辑函数化简法,用该化简法可获得逻辑函数的所有最简式且该方法便于编程实现。     

用蕴涵关系化简多输出逻辑函数

本文提出利用多输出逻辑函数之间的蕴涵关系,化简多输出逻辑函数的方法。这一方法能使多输出逻辑函数的总最小项数目减少,公有的本原蕴涵项的数目增多。这一化简法,较适合于中、大规范集成逻辑组件的综合。文中,通过具体例子将该法同常规化简法作了比较。最后,指出了这一化简法的局限性和有待进一步研究的问题。     

浅谈逻辑函数的化简

本介绍了逻辑函数化简的技巧性化简法——代数法及卡诺图法，并着重介绍了程序性化简法——列表化简法，以使于微机实现。     

对四值逻辑图形化简法的研究

在文献［１,２］的基础上,讨论了四值逻辑的代数化简方法．根据二值逻辑卡诺图的构成特点,提出四值逻辑函数的Ｋ图及图形化简方法,详细地探讨了Ｋ图的构成特点,并指出了尚待研究和探讨的问题．     

基于布尔代数的功能树简化研究

当前较大规模的功能树存在解空间庞大、冲突定位困难的问题,对此提出基于布尔代数的与或功能树简化方法;证明了收缩简化、删除简化、提取简化的相关定理,并籍此给出其布尔代数的简化算法;最后通过实例,证明该方法可在保持逻辑等价的前提下有效降低问题的复杂度,从而提高设计者进行概念设计的效率.     

对布尔代数中卡诺图的研究

由于卡诺图具有几何相邻与逻辑相邻之间的良好对应关系 ,故在布尔代数中得到广泛应用 ,文章分析了传统卡诺图在简化多变量 ( n >5 )函数时 ,其对应关系所面临的困难 ,提出三维卡诺图及卡诺图阵列的概念。采用适当的排列方式可将图中几何相邻与逻辑相邻的对应项增加到 6个以上 ,为了使其具有实用性 ,又引入一定的画图规则 ,对三维卡诺图加以改进 ,并举例说明它们的使用方法。结果表明 ,采用该方法对六变量至八变量的逻辑函数进行综合化简时 ,仍具有简便直观、可靠性高及易操作等优点 ,且有较好的实用价值。     

用解逻辑方程的方法化简互斥多变量逻辑函数

论述了用解逻辑方程的方法化简互斥多变量逻辑函数的问题,并给出由真值表直接求解最简逻辑函数表达式的简单方法。     

集成电路芯片组合逻辑辨识实验系统的研制

文章围绕数字集成电路芯片组合逻辑关系判别问题,主要探究了芯片电气属性判定方法、多输入变量的逻辑简化以及芯片逻辑关系测试。在设计过程中,首先通过实验手段提出判定芯片引脚的方法,即分辨出输入引脚、输出引脚、电源和地引脚。在此基础上,利用PIC16F877A单片机和Visual Basic软件共同完成芯片逻辑关系的测试。测试出来的真值表再经由Boolean Minimizer软件进行逻辑简化,最终得到了最简的输入输出之间的逻辑关系。实验证明系统运行快捷,辨识结果可靠。     

逻辑函数卡诺图化简研究

讨论了逻辑函数卡诺图化简的计算机实现， 提出了基于最大覆盖的问题求解方法。采用考虑规则优先级的广度优先策略完成最优子集的搜索。对多变量问题讨论了应用粗集理论确定最简决策的方法。     

关于二次曲面圆截面存在性定理的证明

文章给出了二次曲面圆截面存在性定理的一种新的证明方法,简化了有关文献中关于该定理的证明.在此基础上给出了一般二次曲面的圆截面方程求解方法与步骤.     

函数子卡诺图及其在逻辑设计中的应用

在逻辑电路的设计过程中,经常涉及到用卡诺图化简逻辑函数,本文给出一种新的化简方法,即函数子卡诺图的化简法,同时举例说明在逻辑设计中的应用。     

火电单元机组可编程协调控制系统

本文对采用单回路可编程数字调节器和可编程序控制器组成的协调控制系统进行了深入的研究和设计，系统具有多种运行方式和齐全的控制、联锁保护功能，长期投用实践表明：可编程协调控制系统技术先进、性能价格比高，在控制负荷、方便操作、稳定参数、提高经济性等方面有显著效果，具有推广应用价值．