基于列表法的全部质蕴含项的程序实现

针对全部质蕴含项进行研究并给出简单易行的计算机编程方案,结果表明,这种计算机软件编程实现方法与手动化逻辑函数简的结果完全一致,可以达到降低系统成本、减小复杂度、提高可靠性的目的.

由卡诺图获取逻辑函数最简POS表达式的两种方法(英文)

讨论了卡诺图在以POS形式化简逻辑函数过程中的应用 。

利用不等BDD检测对称变量

变量的对称性在逻辑综合与优化、工艺映射中起着非常重要的作用 .如果事先得到变量对称的信息 ,就可以减小解空间 ,提高逻辑验证的效率 .过去 ,人们通常用公式 fxixj=fxjxi检验变量的对称性 .这需要分别建立 fxixj和fxjxi的 BDD图 ,然后检查两 BDD图是否同构 .文中提出一种新算法 ,整个算法流程仅需建立一次 BDD.任何变量对称性的判别遍历 BDD一次即可完成 ,从而减小了算法的空间复杂度和时间复杂度 .

二元Boole代数函数式的一种化简方法

对多变量二元Boole代数（简记B2）函数式的化简,有下列方法:（1）公式法;（2）卡诺（Karnaugh）法;（3）奎恩-麦格拉斯基（Quin—Mccluskeg）法;（4）增项消项法（iterative consensus）.对不大于6变量的函数式化简,常用的是卡诺法.

用计算机化简逻辑式

本文寻求一种化简逻辑式的方法——应用BASIC语言程序化简逻辑式,把化简逻辑式的工作交给机器来完成,望在实际应用中把人们从烦杂的脑力劳动中解放出来。

关于逻辑式化简的一点注记

找出逻辑式F的全体质项的方法是:(1)首先把F化为范式;(2)将F的全体最小项分组;(3)合并.合并按公式A B+A B= A进行.如果将字母和字母的非写成对应的二进制数码,则这公式的意思是:如果两个二进位数,只有一个数位上的数码不同,其余各数位上的对应数码都分别相同,则这两个二进位数所表示的最小项可合并为一项.例如0000与0001它们表示的最小项分别为A B C D和A B C D,这两项可以合并为一项A B C,用二进制数码表为000*,“*”表示这个位置的字母不出现.

数字电子技术课程中卡诺图课堂教学方法探讨

在"数字电子技术"课程的教学中,卡诺图化简逻辑函数几乎贯穿了整个教学过程。本文针对课堂教学过程中出现的问题,结合实际教学经验,介绍了卡诺图化简逻辑函数的原理、方法和技巧。通过具体实例阐述了提出的卡诺图化简逻辑函数的教学过程。新方法有益于提高课堂教学效率和效果,有助于学生快速理解和掌握卡诺图化简方法。

对逻辑代数中一个定理的注记

本文提出了逻辑代数的一个重要引理,从这个引理出发,给出了文[1]中定理2的另一简捷证明.

论逻辑函数的化简

本文全面论述了逻辑式的化简(1)在公式法中的一些独特方法与技巧;(2)用卡诺图化简逻辑式,分组多、计算繁,如何减少组数便于计算,文中进行了详细论述。