多级组合逻辑网络设计

本文利用逻辑函数的最小项展开式导出了逻辑函数分解的一般形式;从而给出了多级组合逻辑网络设计并使之简化的一般方法.文中以实例说明这种方法的有效性.     

论卡诺图简化逻辑函数的方法

卡诺图是简化逻辑函数的常用方法。本文通过举例分析合并相邻方格最小项的规律、技巧及方法;最后归纳总结用卡诺图简化逻辑函数的方法与步骤。     

逻辑函数的组合项化简法

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

巧用卡诺图种种

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

三值逻辑函数表格法最小化的一种新方法

根据格代数公式，对三值逻辑函数表格法最小化提出一种新方法。在搜索蕴涵项、质蕴涵项的过程中，采用找出满足下述条件最小项的策略：一是相邻最小项的数量为3的m次或或者m-1次幂，同时保证m数值尽量大(m=1，2，…)。二是最小项的逻辑值为“1“或“2“。为此，利用避开最邻近的最小项方法（该最小项逻辑值小于被选择最小项的逻辑值），从而减少了冗余项的数量。这种方法尤其适合于含有大量无关项的多变量三值逻辑函数最小化。     

树搜索优化算法在FPGA中的应用与实现

针对组合电路的智能化设计速度慢、复杂度高的问题,利用基于人工智能的自主搜索优化策略,将树搜索优化算法与组合逻辑电路中相邻最小项合并定理融合,并在可编程门阵列(Field Programmable Gate Array,FPGA)进行硬件加速的方法进行组合电路的智能设计。该方法把需要设计的逻辑电路最小项作为一级节点,搜索本级中可以合并消项的节点并把合并后的项作为子节点,逐级向下搜索直到本级节点均不能合并消项,最后把所有叶子节点项相加即得到组合逻辑电路的最简逻辑表达式,从而完成组合逻辑电路的智能设计过程。算法通过使用启发式策略,简化了搜索过程,提高了搜索速度。实验结果证明了与传统算法作比较,该算法具有空间复杂度低,速度快等特点。     

逻辑函数的三维K图化简

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

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

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

组合网络的最小项矢量法故障诊断

本文从布尔函数的积之和范式以及积之和范式的运算特点出发导出了一般布尔函数间的数值运算——布尔函数的最小项矢量运算,进而提出了最小项矢量代数的概念.作为这个代数系统的一个应用,着重介绍了最小项矢量法诊断组合网络的一般技术,这个方法作为探讨故障诊断算法数值化是一个尝试,同时它又为经典布尔差分法的计算机计算找到了一条可行的新途径.     

多输出开关函数化简的一种算法

本文介绍了多输出开关函数化简的一种算法。该算法根据集合论的概念,应用小项覆盖定理、质蕴涵项覆盖定理来寻求函数质蕴涵项集合进而获得最小造价的覆盖(或无冗余覆盖)并用扩展BASiC语言编制了程序。经半年的使用,达到预期的效果。该算法的特点是:化简得到的最小覆盖(或无冗余覆盖)中有最多的公共质蕴涵项,程序简单,不受变量和输出函数多少的限制,使用方便。     

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

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

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

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

逻辑函数的化简与实现

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

组合网络的最小项矢量法故障诊断

本文从布尔函数的积之和范武以及积之和范式的运算特点出发导出了一般布尔函数间的数值——运算布尔函数的最小项矢量运算,进而提出了最小项矢量代数的概念.作为这个代数系统的一个应用,着重介绍了最小项矢量(MV)法诊断组合网络的一般技术,其中包括:单故障完全测试集的生成,故障检测测试集的生成,故障定位测试集的生成以及故障字典的编排.这个方法作为探讨故障诊断算法数值化是一个尝试,同时它又为经典布尔差分法的计     

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

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

对称开关函数及其应用

本文系统阐述了对称开关函数的基本概念和定理,叙述了任意开关函数转换成全对称函数的方法.文中以实例证明了利用对称开关函数设计组合网络的方法是可行的.     

用卡诺图化简逻辑函数过程中的几个问题

用卡诺图化简逻辑函数是分析设计数字逻辑电路所必须掌握的重要基础知识和基本技能 ,笔者在教学过程中对用卡诺图化简逻辑函数的方法作了深入细致的研究 ,认为在掌握这种方法的过程中如下几个问题需着重弄清。1　用卡诺图化简逻辑函数的基本依据卡诺图实际上就是用来直观地反映最小项之间逻辑相邻关系的一种最小项方格图。在卡诺图上把逻辑相邻项安排在位置相邻 (这里所说的位置相邻是一种广义的相邻 ,卡诺图上位置相对的方格也可说成相邻关系 ,因为如果将卡诺图对称折叠 ,这些位置相对的方格即能重合 ,所以把卡诺图看成可折叠的图纸 ,这些…     

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

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

相关免疫函数的组合分析法

在密码设计过程中,安全性是设计者首先要考虑的问题之一。前馈网络是一种重要的密钥流生成器。相关免疫函数是Ｓｉｅｇｅｎｔｈａｌｅｒ提出的抗击对前馈网络流密码生成相关攻击的一类函数。本文利用布尔函数的小项和表示法,从组合的角度揭示相关免疫函数的特征。这种组合分析方法对构造相关免疫函数也是一种理想的方法。     

浅谈用最小项和最大项化简同一逻辑函数的规律

针对当前多数教材中用最小项化简逻辑函数的方法，指如何用最大项化简的技巧，同时阐明了两者之间的关系。