设计逻辑电路的配空项法及其应用

本文介绍的配空项法,是一种设计逻辑电路时化简逻辑表达式的推广方法.用此方法可以把用布尔代数法、卡诺图法、奎宁-迈克劳斯基方法仅用实项不易简化或不能简化的逻辑表达式法化简的更简单,而且化简的步骤和过程也较简便.     

卡诺图与逻辑函数的化简

在数字电子技术中,常常需要对得到的逻辑函数式进行化简。因为逻辑函数式越简单,它所表示的逻辑关系越明显,同时也有利于用最少的电子器件来实现这个逻辑函数。 逻辑函数式化简常采用两种方法,即逻辑代数公式化简法和卡诺图化简法。前者是利用逻辑代数的基本公式消去多余的乘积项     

用化质变换求逻辑式的全体质项

<正> 从逻辑式的析取标准形式出发化简逻辑式,一般采用逻辑等值公式对给定的逻辑式进行恒等变形,或者把给定的逻辑式先化为析取范式,再从范式出发进行化简.采用前一种方法,可用的公式较多,而且演算的过程缺乏明显的规律性.采用后一种方法,手续比较繁琐,先化简为繁,后化繁为简.鉴于逻辑式的最简式的所有加项必须是该逻辑式的质项,若能求出一个逻辑式的全体质项,则从中选出最简的组合,就能求出它的最简式.求一个给定的逻辑式的全体质项只需要采用两个简单易记的公式,而且其演算的手续遵从固定的程式.因此,其演算过程显得较为简单.但是,这一结论需要证明,而已有的证明方法(注)艰涩难懂.本文试图对这一证明作适当地改进.     

模态逻辑D演绎过程的化简规则

以分析模态逻辑中文字公式的极性为基础，将经典逻辑的Ｄａｖｉｓ－ｐｕｔｎａｍ纯文字化简规则推广到了命题模态逻辑Ｄ系统的自动演绎中，并给出了一些刻划Ｄ逻辑自动演绎特征的化简规则，这些化简规则通过对公式、子公式和公式集的有效性（或不可满足性）的有条件的判断，进行证明过程的剪枝和化简，以提高Ｄ逻辑自动演绎的效率；这些化简规则都是依据公式（集）本身的结构特征，可用于Ｄ逻辑的任意一种推理实现系统，在机器上是容易实现的。     

逻辑函数图形化简法教学的三步刍议

利用卡诺图对逻辑函数进行化简（简称图形化简化）,方法直观、简捷,因而较利用逻辑代数的公式、定理对逻辑函数进行化简（简称公式化简法）易受欢迎。尤其是当被化简的逻辑函数虽变量数不多,而采用公式法化简又一时不知从何入手,或对其化简后的结果不易判断是否最简时...     

基于Web的含无关项卡诺图自动化简系统

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在ASP.NET环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步骤展示其化简过程.输入表达式的语法验证采用改进的算法优先分析法,化简过程采用广度优先搜索模仿人工搜索卡诺圈的过程,网页作图由rapheal框架实现.测试结果表明,系统可在常用浏览器下正常运行,可正确的按步骤展示卡诺图化简逻辑函数的过程.     

逻辑函数的组合项化简法

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

浅析卡诺图在数字电子技术中的应用

在数字电路中,化简逻辑函数的方法有很多,常用的公式法比较麻烦,必须掌握一定的技巧,机械记忆各种逻辑代数公式才行。卡诺图化简法不需这样,只要按照一定的规则就能得到结果。以下从卡诺图化简逻辑函数出发,介绍了卡诺图的几点应用。     

逻辑函数公式法化简技巧

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

巧画卡诺图

数字电路中逻辑函数式的化简是个重要问题,对电路的分析和设计都要用到。而化简有公式法和卡诺图化简法两种,在使用学生都很喜欢的卡诺图化简法的过程中,采用直接表示法将逻辑函数式表示成卡诺图形式,能更快捷,更准确。     

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，函数式是否化简到了最简也没有判别方法．文中提出的“准多余项化简法”解决了这些难题，给出了化简的具体步骤和最简式的判别方法．对于６个以上的变量逻辑函数的化简，此法显著优于卡诺图法．     

化简逻辑函数的新方法

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

逻辑函数化简的一种新思路

本文探讨逻辑函数化简的一种新方法。本方法依据函数项相互衍生的特点建立函数项相互连接与涵盖关系来进行筛选。其优点是使化简思路明确,化简工作量减少,特别是对于变量数较多的逻辑函数的化简更呈现其优越性。     

立体图形法——逻辑函数的另一种表示方法

本文叙述了逻辑函数的立体图形化简方法,分析了它的构成原则及其特点,提出了四点化简规律,介绍了化简方法和化简步骤了。     

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

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

基于卡诺图的多变量逻辑函数化简原则的一个补充

文中从经典卡诺图化简原则出发,结合一个实际的多变量逻辑函数化简问题,经讨论给出用卡诺图进行逻辑函数化简的一个补充原则,即在卡诺图上一个圈中如有2^i（i=0,1,2…）个逻辑“1”项,则该圈中任意一个逻辑“1”项在本圈中存在而且只存在i个逻辑相邻项。     

卡诺图法化简六变量逻辑函数

探讨了用卡诺图化简六变量的逻辑函数的方法及相邻项的正确判断。指出了用卡诺图法化简多变量逻辑函数与少变量逻辑函数之间的差异,并用该方法对六变量逻辑函数进行了实例化简分析.     

论逻辑函数的化简

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

逻辑函数的三维K图化简

根据Ｋ图化简逻辑函数的方法给出三维Ｋ图及化简二值、三值逻辑函数的方法，使逻辑函数相邻项的邻接关系得以增强，变量数得以增加。     

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

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