逻辑代数化简的计算机实现

本文阐述了化简逻辑代数的基本原理,在代数法和卡诺图法化简逻辑代数的基础上,提出运用计算机软件实现化简逻辑代数的方案。详细介绍利用计算机软件来实现化简模块的设计与实施过程。通过此方法可以使化简更准确、高效。

限界分枝松驰算法

在逻辑函数的计算机算法中 ,将传统松弛算法与限界分枝思想相结合 ,提出了一种产生最小代价且无冗余项的新算法 ,在此过程中仍不需计算质蕴涵项。

逻辑代数化简的计算机实现——化简逻辑代数

文章阐述了化简逻辑代数的基本原理，在代数法和卡诺图法化简逻辑代数的基础上进一步改善不足，提出了一种运用计算机软件实现化简逻辑代数的方案。详细介绍了逻辑代数化简过程中化简模块的设计过程及具体实现，以及在此遇到的一些实际问题的解决方法，并均以计算机软件来实现。通过此方法可实现可以使化简结果更准确、应用更广泛、效率更高。

改进的Q-M逻辑函数化简方法

为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。

逻辑函数的另一种化简方法——Q-M化简法

本文针对当前多数数字电子电路教材中化简逻辑函数采用的代数化简法和卡诺图化简法 ,介绍一种适用于计算机分析和处理的逻辑函数的另一种化简方法 ,即Q -M化简法 ,也称为系统列表化简法。

一种快速的布尔函数极小化方法

基于偏序集及多维体理论，文中提出了Ｌ－集概念，并将布尔函数极小化问题抽象为Ｌ－集的极大内多维体。还设计了一个基于Ｌ－集的图搜索的快速布尔函数极小化算法，使可解输入变量数达到２６个。

列表法化简多变量逻辑函数的方法探讨

逻辑函数的化简能极大地简化IC的设计,由于列表法化简没有卡诺图法来得直观,因此很少有文献对这一方法进行深入的探讨与分析。但列表法化简的规律性极强,只要掌握了其技巧,完全可以用程序来实现迭代过程。同时在处理多变量函数化简的这一情况下,列表法化简的优势更为明显。课题对列表法化简逻辑函数的方法进行了深入的研究,通过一个有代表性的实例对其原理与规律进行了详细的分析,为程序化实现提供了一个重要的算法基础。

相关乘积卡诺图的原理及应用

本文介绍了相关乘积卡诺国的基木原理及在多输出逻辑函数化简中的应用,指出该方法对中/大规模集成电路的设计是一种有效的方法,可获得较好的设计效果。

多变量逻辑电路算法基础

木文归综手头搜集资料[1]-[7],以备算法设计多变量逻辑电路作准备。