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

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

展开定理与逻辑函数不同表示形式的转换原理

为探索逻辑表达式、真值表、卡诺图等几种逻辑函数表示形式之间的转换原理,分析研究了基于展开定理的对逻辑函数按变量展开的最小项表达式,给出了逻辑常量0、1取值和最小项的各个变量出现形式的对应关系,逻辑函数最小项表达式和真值表及卡诺图的对应关系,揭示了逻辑函数各种表示方法的内在联系,从而完善了逻辑函数表示方法的理论原理.所述方法,有助于逻辑函数的分析、变换方法的研究,具有较好的实用性.     

巧用卡诺图种种

在数字电路中,逻辑函数的表示方法有：真值表,函数表达示,逻辑图以及卡诺图。而卡诺图又分为变量卡诺图、逻辑函数卡诺图。所谓变量卡诺图就是用图示的方法,将各种输入变量取值组合下的输出函数值一一表达出来;在变量卡诺图的基础上,把构成函数的最小项填入相应的小方块中,便可得到逻辑函数的卡诺图。卡诺图的应用,常见的是用它来简化逻辑表达式。然而它的应用远不仅仅如此,下面将作一一的介绍。1化简函数为最简逻辑式在此应用中,可以分三步：首先画出函数的卡诺图,其次是合并最小项,最后写出最简逻辑式。需要注意的是：圈要尽…     

带有约束项的多变量的逻辑函数化简的一种方法——兼论步进电机环行分配器的逻辑设计

当逻辑函数的变量比较多时,用卡诺图法来化简就比较麻烦。本文所提出的方法是根据逻辑函数各最小项的公因子中各变量来判断,各变量是否覆盖逻辑函数为0的项,如否该变量就是最简式。细无 1个变量的最简式则用公因子中两个变量“相与”去试验,再看“相与”者是否覆盖逻辑函数为0项,如否,则此“相与”的两个变量即为逻辑函数的最简式。     

论逻辑函数变量的二值与格形对称性

格形结构是自然界中普遍存在的一种结构形态。通过对逻辑函数变量的二值与对偶关系以及与之对应的格形对称图的一些性质及其规律的探讨,在两种格形对称图上,找到了最小项与其逻辑相邻项之间的对应关系,从而为用格形对称图法化简逻辑函数提供了捷径和方法。     

对称三值逻辑系的环和标准型

本文提出了由乘积运算及环和运算构成的对称三值逻辑系的函数展开公式及由其构成的环和标准型,作为对称三值逻辑函数标准型的一个补充。由于环和运算属于代数运算系统,因而克服了对称三值逻辑系中现有的最小项逻辑和标准型中由于或运算一般来说不能应用结合律和分配律而对逻辑函数的分析和研究带来的困难。     

逻辑函数化简与实现的计算机方法

本文讨论了逻辑函数化简与实现的计算机方法。前者通过计算卡诺式，求函数最小项集与各项最小项集的差、交集，实现函数化简。后者在给定变量分配情况下，通过转换矩阵作用，将函数最小项集映射成新的最小项集，以实现函数。     

逻辑函数的化简与实现

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

逻辑正弦—余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数和运算规则，逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析，设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式。     

最大项方法化简逻辑函数的探讨

使用卡诺图化简逻辑函数,本文在最小项方法的基础上论证了最大项方法化简逻辑函数与最小项方法的等价性,并举例说明了应用最大项方法的优越性。