第二章逻辑代数及其应用分析.ppt

五变量卡诺图 在五变量的卡诺图中，除了几何位置相邻的最小项具有逻辑相邻性之外，以图中双竖白线为轴左右对称位置上的两个最小项也具有逻辑相邻性。 AB 10 CDE 000 001 011 010 00 01 11 110 111 101 100 m0 m1 m3 m2 m8 m9 m10 m26 m16 m17 m18 m11 m19 m24 m25 m27 m6 m7 m5 m4 m14 m15 m12 m30 m28 m22 m23 m20 m13 m21 m31 m29 二. 用卡诺图表示逻辑函数 例 2.6.2.1 用卡诺图表示逻辑函数 解： 首先将Y化为最小项之和的形式 画出四变量的卡诺图，在对应于函数式中各最小项的位置上填入1，其余位置上填入0，就得到如下图所示的Y的卡诺图。 CD AB 00 01 11 10 00 01 11 10 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 即：任何一个逻辑函数都等于它的卡诺图中填入1的那些最小项之和。 例 2.6.2.2 已知逻辑函数的卡诺图如下图所示，试写出该函数的逻辑式。 解： BC 00 01 11 10 0 1 A 0 0 1 1 0 0 1 1 2.6.2.2 用卡诺图化简逻辑函数 一、合并最小项的规则 1. 若两个最小项相邻，则可合并为一项并消去一个因子，合并后的结果中只剩下公共因子。 A BC 00 01 11 10 0 1 0 1 0 0 0 1 1 1 卡诺图化简法或图形化简法的基本原理：具有相邻性的最小项可以合并，并消去不同的因子。 2. 若四个最小项相邻并排列成一个矩形组，则可合并为一项并消去二对因子。合并后的结果中只包含公共因子。 00 01 11 10 CD AB 00 01 11 10 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 AD 如： 3. 若八个最小项相邻并排成一个矩形组，则可合并为一项并消去三对因子。合并后的结果中只包含公共因子。 如： CD AB 00 01 11 10 00 01 11 10 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 4. 若有2n个最小项相邻(n=1,2,…)并排列成一个矩形组，则它们可以合并成一项，并消去n对因子。合并后的结果中仅包含这些最小项的公共因子。 二. 卡诺图化简的步骤 1. 将函数化为最小项之和（或最大项之积）的形式 2.画出表示该逻辑函数的卡诺图 3.找出可以合并的最小项组 (各最小项可以重复使用) 这些乘积项包含函数式的所有最小项， 4 .选取化简后的乘积项。选取的原则是： 每个乘积项包含的因子最少，即矩形面积最大。 所用的乘积项数目最少，即矩形组数目最少。 即应覆盖卡诺图中所有的1。 例2.6.2.3 用卡诺图法将下式化简为最简与-或函数式 解： 方案一 A BC 00 01 11 10 0 1 1 1 1 1 1 1 1 1 0 0 注：有时一个逻辑函数的化简结果不是唯一的。 A BC 00 01 11 10 0 1 0 1 1 1 1 1 0 1 方案二： 例2.6.2.4 用卡诺图法将下式化为最简与-或逻辑式 解： 方案一 （圈最小项） CD AB 00 01 11 10 00 01 11 10 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 A 注：由A+A=A可知，化简时允许重复使用函数式中的最小项。 解： 方案二 （合并卡诺图中的0先求出 的化简 结果，然后再求反而得到Y） 所以： CD AB 00 01 11 10 00 01 11 10 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 几点说明： 如果要求得到 的化简结果，则采用合并0的方式就更简单了 需要将函数化为最简的与或非式时，采用合并0的方式最为适宜，因为得到的结果正是与或非形式。 在多变量逻辑函数的卡诺图中，当0的数目远小于1的数目时，采用合并0的方法有时会比合并1来得简单。 例1：将函数Y 化简为最简与或非式 CD AB 00 01 11 10 00 01 11 10 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 解：先化出Y 的卡诺图，然后圈0 化简 例2：将函数Y 化简为最简或-与式 分析：或-与式的化简采用合并最大项的概念，在卡诺图中，A、B、C 等变量的取