逻辑代数的基础知识教案分析.ppt

第1章 逻辑代数的基础知识 五、配项法 ① 利用　　　　　配项 ② 利用　　　　 配项 实际应用中遇到的逻辑函数往往比较复杂，化简时应灵活使用所学的公式、定理及规则，综合运用各种方法。  下面举例说明。 例1：化简 解： 例2：化简 解： 例3：化简 解： 例4 化简 解： 作业题 P69 题1.7 （写出Y1、Y4的标准与或式） 题1.8 ⑴ 、⑷ 题1.9 ⑴、⑷、⑺ P70 题1.10 ⑴、⑶ 逻辑函数的卡诺图法化简也称为图形法化简。卡诺图法是由美国工程师卡诺（Karnaugh）于1953年提出来的。它比代数法化简形象直观，易于掌握，只要按照一定的规则，便可十分方便地将逻辑函数化为最简式。由于卡诺图化简法具有简单、直观、容易掌握等优点，在逻辑设计中得到广泛应用。 卡诺图是由真值表变换而来的一种方格图。卡诺图上的每一个方格代表真值表上的一行，因而代表一个最小项。真值表有多少行，卡诺图就有多少个方格。卡诺图不仅是逻辑函数的描述工具，而且还是逻辑函数化简的重要工具。 1.2.3 逻辑函数的图形化简法 一、逻辑变量的卡诺图 1、卡诺图的构成 卡诺图就是与变量的最小项对应的、变量按循环码顺序排列的方格图。n个逻辑变量有2n组合，最小项就有2n个，卡诺图也相应有2n个小方格。 2、3、4变量卡诺图如图(a)、(b)、(c)所示。 m3 m2 m1 m0 B A 0 1 1 0 ( a ) 0 m6 m2 m7 m3 m5 m4 m1 m0 1 00 01 11 10 BC A ( b ) m10 m11 m9 m8 m14 m15 m13 m12 m6 m2 m7 m3 m5 m4 m1 m0 00 01 11 10 CD AB 00 01 11 10 ( c ) 变量的顺序是00，01，11，10，而不是00，01，10，11。这是为使任意两个相邻最小项之间只有一个变量改变。 2、卡诺图的特点 1、用几何相邻形象地表示变量各个最小项在逻辑上的相邻性。 几何相邻包括：相接——紧挨着；相对——任一行或一列的两头；相重——对折起来后位置重合。 逻辑相邻：如果两个最小项，除了一个变量的形式不同外，其余的都相同，那么这两个最小项就认为在逻辑上是相邻的。而在逻辑上相邻的最小项，是可以合并的。 2、卡诺图的主要缺点，是随着变量个数的增加，图形迅速地复杂起来。当变量多于6个时，不仅画图十分麻烦，而且即使画出来了，许多小方块——最小项，是否逻辑相邻，也难以辨认，已无实用价值。 例如，四变量卡诺图中，每个最小项应有4个相邻最小项， 如m5的4个相邻最小项分别是和m5相接的 m1，m4，m7，m13。这种相邻称为相接相邻。  而m2的4个相邻最小项除了与之几何相接的m3和m6之外，另外两个是处在“相对”位置的m0 ( 同一行的两端)和m10( 同一列的两端)。这种相邻称为相对相邻。 从各卡诺图可以看出，在n个变量的卡诺图中，能从图形上直观、方便地找到每个最小项的n个相邻最小项。 m10 m11 m9 m8 m14 m15 m13 m12 m6 m2 m7 m3 m5 m4 m1 m0 00 01 11 10 CD AB 00 01 11 10 ( c ) m18 m19 m17 m16 m26 m27 m25 m24 m10 m2 m11 m3 m9 m8 m1 m0 m20 m21 m23 m22 m28 m29 m31 m30 m12 m4 m13 m5 m14 m15 m7 m6 00 01 11 10 000 001 011 010 110 111 101 100 CDE AB 5变量卡诺图 5变量卡诺图如下图所示。 例如五变量卡诺图中的m3，除了相接相邻的m1，m2，m11和相对相邻的m19外，还与处在“相重”位置的最小项m7相邻。这种相邻称为相重相邻（或称重叠相邻）。 3、变量卡诺图中最小项合并的规律 卡诺图的构造特点使卡诺图具有一个重要性质：可以从图形上直观地找出相邻最小项合并。合并的理论依据是并项定理 。例如， 用卡诺图化简逻辑函数的基本原理：通过把卡诺图上表征相邻最小项的相邻小方格“圈”在一起进行合并，达到用一个简单“与”项代替若干最小项的目的。 通常把用来包围那些能由一个简单“与”项代替的若干最小项的“圈”称为卡诺圈。 m7 m5 AB 10 00 01 11 00 CD 01 11 10 m13 m15 在变量卡诺图