第1章_逻辑代数的基础知识要点.ppt

第1章 逻辑代数的基础知识 三、消去法 利用公式 　　　　　 消去乘积项中多余的因子。 四、配项消项法 利用公式 ，加上冗余项，以消去更多乘积项。 五、配项法 ① 利用　　　　　配项 ② 利用　　　　 配项 实际应用中遇到的逻辑函数往往比较复杂，化简时应灵活使用所学的公式、定理及规则，综合运用各种方法。  下面举例说明。 例1：化简 解： 例2：化简 解： 例3：化简 解： 例4 化简 解： 作业题 P69 题1.7 （写出Y1、Y4的标准与或式） 题1.8 ⑴ 、⑷ 题1.9 ⑴、⑷、⑺ P70 题1.10 ⑴、⑶ 一、填空题 1、描述逻辑函数各个变量取值组合和函数值对应关系的表格叫 ( )。 真值表 2、传统逻辑函数化简的常用方法有( )和( )。 图形化简法（卡诺图法） 公式化简法 3、乘积项的个数最少、每个乘积项中相乘的变量个数也最少的与或表达式，称为( )。 二、单项选择题 1、n个变量可以构成（ ）个最小项。 A、n B、2n C、2n D、2n－1 C 2、标准与或式是由（ ）构成的逻辑表达式。 A、最大项之积 B、最小项之积 C、最大项之和 D、最小项之和 D 最简与或式 逻辑函数的卡诺图法化简也称为图形法化简。卡诺图法是由美国工程师卡诺（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 m22 m23 m21 m20 m30 m31 m29 m28 m14 m6