用计算机化简逻辑式

1

作者 龙文端 《昆明学院学报》 1994年第S1期69-77,共9页

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

关键词 计算机 逻辑式 化简 范式 最小项 蕴含项 质项 复盖

下载PDF 职称材料

求逻辑式的最简式的三种方法比较

2

作者 徐增德 《中国远程教育》 1985年第4期25-27,共3页

逻辑式的最简式是由逻辑式的化简问题引出的。为了使学员在学完化简理论之后,能正确使用寻找逻辑式的最简式的三种方法,针对学员在学习过程中的一些问题,根据不完全归纳推理,以与或范式的最简式为标准,对三种求逻辑式的最简式方法比较如... 逻辑式的最简式是由逻辑式的化简问题引出的。为了使学员在学完化简理论之后,能正确使用寻找逻辑式的最简式的三种方法,针对学员在学习过程中的一些问题,根据不完全归纳推理,以与或范式的最简式为标准,对三种求逻辑式的最简式方法比较如下:一、公式法（解析法）利用公式化简,寻找最简式,必须熟记,且能灵活运用运算律:A₁—A₄,T₀—T₈。利用公式法的特点是:1.根据所给题目,并项法、消去法、添补法、常元法要交替使用。2.最后化简结果很难断定是否是最简式,即使是最简式,若不唯一,其它形式的最简式也不易求出。 展开更多

关键词 最简式 逻辑式 三种方法 公式法 最佳覆盖 几何法 并项 最小覆盖集 质项 多余因子

原文传递

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

3

作者 唐建国 《零陵学院学报》 1991年第3期59-60,共2页

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

关键词 标准形式 蕴含项 质项 复盖

下载PDF 职称材料

苦练内功求发展 青岛港成为全国质量效益型先进企业的经验

4

作者 渝南 《珠江水运》 1995年第7期7-8,共2页

以邓小平同志建设有中国特色社会主义理论和党的基本路线为指针,以发展生产力为目标,以深化企业内部改革为动力,以强化各项基础管理为手段,以加强领导班子建设为关键,使青岛港这个百年老港焕发了青春。在企业改革、港口建设、技术改造... 以邓小平同志建设有中国特色社会主义理论和党的基本路线为指针,以发展生产力为目标,以深化企业内部改革为动力,以强化各项基础管理为手段,以加强领导班子建设为关键,使青岛港这个百年老港焕发了青春。在企业改革、港口建设、技术改造、安全质量、经济效益、精神文明建设等方面取得令人瞩目的成绩,被评为全国质量效益型先进企业、全国用户满意企业,山东省思想政治工作优质企业,被誉为山东省工交系统经济效益排头兵。局长常德传被评为全国优秀企业家。 展开更多

关键词 青岛港 质量效益型 苦练内功 先进企业 求发展 枣珍 质项 义甲 系统经济 加强领导班子建设

下载PDF 职称材料

对《逻辑代数与电子计算机简介》的一点看法

5

作者 刘少军 《安康学院学报》 1992年第Z1期75-78,共4页

《逻辑代数与电子计算机简介》(高教出版社、邵存蓓统稿,下同)一书是被师专数学系普遍采用的教材。此书在内容选取,定义、定理和法则的阐述及各章选配习题方面都有许多独到之处。但本书在教材内容和编排结树上也有一些不可忽视的错误及... 《逻辑代数与电子计算机简介》(高教出版社、邵存蓓统稿,下同)一书是被师专数学系普遍采用的教材。此书在内容选取,定义、定理和法则的阐述及各章选配习题方面都有许多独到之处。但本书在教材内容和编排结树上也有一些不可忽视的错误及缺陷,凭借直觉论证,知识性疏漏,论据不充分,编排顺序有混乱之嫌,个别章节缺乏系统性,编写粗疏与印刷错误等。笔者通过教学体会提出了意见和建议。 展开更多

关键词 逻辑代数 电子计算机 命题演算 集合代数 半加器 二进制数 质项 全加器 数制 本教

下载PDF 职称材料

用关键特征集对逻辑进行优化 被引量：3

6

作者 白宁 林争辉 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2001年第9期860-864,共5页

提出了一个两级逻辑优化的新算法 .与通过函数质蕴涵集求解覆盖的传统算法不同 ,文中将求解逻辑函数的质蕴涵项与推导覆盖问题相结合 ,直接得出覆盖问题的解 .算法的主要问题可以简化为 :对于立方描述的单元 ,求解最小覆盖 .在这个过程... 提出了一个两级逻辑优化的新算法 .与通过函数质蕴涵集求解覆盖的传统算法不同 ,文中将求解逻辑函数的质蕴涵项与推导覆盖问题相结合 ,直接得出覆盖问题的解 .算法的主要问题可以简化为 :对于立方描述的单元 ,求解最小覆盖 .在这个过程中又提出了一种改进的覆盖吸收算法 :基于关键特征集合的选拔吸收算法 .此算法不用求所有的立方 ,通过标准的测试例子与原来的 Espresso算法作比较 ,对于大电路 ,在计算时间上 。 展开更多

关键词 逻辑综合 关键特征集 质项集 优化 Espresso算法 大规模集成电路

下载PDF 职称材料

论数理逻辑中的非反推理演算——兼答《辩证逻辑究竟是不是逻辑?》 被引量：1

7

作者 罗翊重 《哲学动态》 CSSCI 北大核心 1992年第8期35-35,共1页

正统数理逻辑实质上仅只涉及了逻辑常项(非范畴词)及其非演算(一),而逻辑变项(范畴词)及其反演算(～)实质上至今未进入数理逻辑学家们的视野.然而,事实上前者与后者之间有正反对称互补关系.缺失后者,导致了前者根本无法克服的单调性;补... 正统数理逻辑实质上仅只涉及了逻辑常项(非范畴词)及其非演算(一),而逻辑变项(范畴词)及其反演算(～)实质上至今未进入数理逻辑学家们的视野.然而,事实上前者与后者之间有正反对称互补关系.缺失后者,导致了前者根本无法克服的单调性;补上后者,正统数理逻辑将会扩展成为非单调性的逻辑——这对发展计算机的推理技术,对解除大批似是而非的逻辑矛盾(悖论),将具有重大的技术意义和理论意义. 展开更多

关键词 数理逻辑 辩证逻辑 反推理 反演算 范畴词 逻辑变项 逻辑常项 质项 正反对 量项

原文传递

逻辑函数的另一种化简方法——Q-M化简法 被引量：5

8

作者 张冰 《新疆教育学院学报》 2003年第2期85-88,共4页

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

关键词 逻辑函数 化简方法 Q—M化简法 数字电子电路教材 蕴涵项 质蕴涵项 卡诺图

下载PDF 职称材料

改进的Q-M逻辑函数化简方法 被引量：2

9

作者 徐俊平 程利新 《计算机工程》 CAS CSCD 北大核心 2011年第20期30-32,共3页

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

关键词 逻辑函数化简 Q-M方法 质蕴涵项 二分图 最小覆盖

下载PDF 职称材料

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

10

作者 杨凌 《兰州石化职业技术学院学报》 2002年第1期20-22,共3页

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

关键词 卡诺图 (和之乘积)POS 蕴含项 质蕴含项 基本质蕴含项 包围圈

下载PDF 职称材料

逻辑代数化简的计算机实现 被引量：1

11

作者 耿强 黄雪琴 《科技视界》 2012年第9期115-116,共2页

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

关键词 逻辑代数 卡诺图 最小项 质蕴涵项

下载PDF 职称材料

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

12

作者 刘建军 吕英 《计算机工程与设计》 CSCD 北大核心 1997年第5期60-63,共4页

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

关键词 布尔函数 算法 质蕴涵项 极小化

下载PDF 职称材料

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

13

作者 郑四海 郑昌睿 《信息与电脑》 2021年第16期74-76,共3页

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

关键词 IC 列表法 质蕴涵项

下载PDF 职称材料

基于列表法的全部质蕴含项的程序实现 被引量：1

14

作者 王忠林 张秀伟 《滨州学院学报》 2008年第3期87-89,共3页

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

关键词 列表法 逻辑函数 质蕴含项

下载PDF 职称材料

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

15

作者 黄雪琴 耿强 《海口经济学院学报》 2009年第1期93-96,共4页

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

关键词 卡诺图 最小项 质蕴涵项 逻辑代数

下载PDF 职称材料

论逻辑函数的化简

16

作者 吕治国 《安庆师范学院学报（自然科学版）》 2003年第3期9-12,共4页

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

关键词 对偶律 对合律 析取范式 最小项 质蕴含项 最小复盖

下载PDF 职称材料

多变量逻辑电路算法基础

17

作者 刘微 《浙江海洋学院学报（人文科学版）》 1996年第3期60-70,共11页

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

关键词 多维体 逻辑电路 质蕴涵项 多变量 真顶点 逻辑设计 卡诺图 算法 最小项 开关函数

下载PDF 职称材料

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

18

作者 蒋定举 《职大学报》 1996年第2期52-55,共4页

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

关键词 相关乘积卡诺图 逻辑函数 化简 质蕴涵项

下载PDF 职称材料

利用计算机实现多变量逻辑函数的化简

19

作者 樊东燕 《电脑开发与应用》 2003年第7期42-42,48,共2页

关键词 逻辑函数 多变量 多维体 覆盖 质蕴涵项 电路优化 计算机编程 化简

下载PDF 职称材料

限界分枝松驰算法

20

作者 彭延军 胡建国 周艳明 《山东科技大学学报（自然科学版）》 CAS 2000年第3期91-93,共3页

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

关键词 限界分枝法 松弛法 最小代价 质蕴涵项 逻辑函数

下载PDF 职称材料