多变量卡诺图及其在逻辑函数化简中的应用.docVIP

多变量卡诺图及其在逻辑函数中的应用 摘要：卡诺图是在数字电路中十分有用的工具，本文介绍了多变量卡诺图在逻辑函数化简中的应用。 关键词：卡诺图、逻辑函数、化简 Multi-variable Karnaugh Map and the Application of it in Logic Function Abstract：Karnaugh map is very useful in the study of digital design, in this article; we have introduce the application of multi-variable Karnaugh map in simplification of logic functions. Key words：Karnaugh map, simplification, logic function. 卡诺图（Karnaugh map）是由美国科学家卡诺首先提出的。在数字电子技术中，卡诺图是逻辑函数真值表的一种图形表示，即用图形表示输入变量与函数之间的逻辑关系。就n个变量的卡诺图来说，它是由 个小方格组成，每一小方格代表一个最小项。在卡诺图中，几何位置相邻（这里的几何位置相邻包括边缘、四角）的小方格在逻辑上也是相邻的，卡诺图用几何位置上的相邻, 形象地表示了组成逻辑函数的各个最小项之间在逻辑上的相邻性。在数字电路原理与实践课程中，我们常常将卡诺图作为化简逻辑函数的工具。 利用卡诺图化简逻辑函数的方法称为卡诺图化简法或图形化简法。化简时依据的基本原理就是具有相邻性的最小项可以合并，以此消去不同的因子。由于在卡诺图上几何位置相邻与逻辑上的相邻性是一致的，因而我们能够从卡诺图上直观地找出那些具有相邻性的最小项并将其合并、化简。利用卡诺图合并最小项的规则如下： 如果两个最小项逻辑相邻，那么二者可以合并成为一项并消去一对因子，合并后的结果中只包含公共因子。 如果四个最小项逻辑相邻并且排列成一个矩形组，那么它们可以合并成为一项并且消去两对因子，合并后的结果中只包含公共因子。 如果八个最小项逻辑相邻并且排列成一个矩形组，那么它们可以合并为一项并且消去三对因子，合并后的结果中只包含公共因子。 事实上，我们可以总结出，在卡诺图中，可以圈起个“1”单元的矩形集，矩形的定义包括图的边缘。相应乘积项的变量可以直接从卡诺图中确定，每个变量可确定如下： 如果圈只覆盖图中变量为0的区域，那么变量在乘积项中求反； 如果圈只覆盖图中变量为1的区域，那么变量在乘积项中不求反； 如果圈同时覆盖图中变量为1、0的区域，那么变量不在乘积项中出现。 每次的圈中必须有新的“1”或“0”。 单独存在的“1”或“0”也必须圈起来。 如果圈“0”，那么变量求反原则反之。 需要注意的是，在卡诺图中，逻辑相邻并不仅仅包括位置相邻。 下面我们给出较为常用的三变量、四变量卡诺图，方格中的数字相邻表示其几何上也是相邻的（本文中作主要讨论的多变量卡诺图可由三、四变量卡诺图进行拓展得到）： 三变量卡诺图 AB C 00 01 11 10 0 0 2 6 4 1 1 3 7 5 四变量卡诺图 AB CD 00 01 11 10 00 0 4 12 8 01 1 5 13 9 11 3 7 15 11 10 2 6 14 10 下面用例题来讨论卡诺图和逻辑函数的互相转换，为多变量卡诺图的化简作基础： 例1：用卡诺图表示逻辑函数 解：首先将Y化为最小项之和的形式 画出四变量最小项的卡诺图，在对应于函数式中各最小项的位置上填入1，其余位置上填入0，就得到如图所示的Y的卡诺图。 AB CD 00 01 11 10 00 0 1 0 1 01 1 0 0 1 11 0 0 1 1 10 0 1 0 1 例2：已知逻辑函数的卡诺图如下，试写出该函数的逻辑式。 AB C 00 01 11 10 0 0 1 1 1 1 0 0 1 1 解：因为函数Y等于卡诺图中填入1的那些最小项之和，圈出所有的1,所以有 用卡诺图化简逻辑函数直观、简捷方便、易于掌握，但传统的卡诺图化简方法, 只适用于四变量及其四变量以下逻辑函数的化简。五变量及五变量以上逻辑函数的卡诺图不再是平面图而是三维立体图形, 所以用卡诺图来化简在操作性、可行性上就存在着一定的困难。因此，当我们需要对五变量及五变量以上的逻辑函数进行化简时, 我们可以采用一定的方法对多变量逻辑函数卡诺图进行变形，使之适合传统的卡诺图化简方法。通过对多变量逻辑函数卡诺图的改进和拓展, 结合我们非常熟悉的四变量卡诺图化简方法，最终实现用卡诺图来化简五变量及五变量以上的逻辑函数。下面以一个例题来讲解： 例3：设有函数 , 则其卡诺图如下所示：