西安电子科技大学通信工程学院信息论与编码理论（研究型）课件第2章 逻辑代数基础.pptVIP

补充内容 (1) Product term (与项 ): ab’ bc’d a’d e’ (2) Standard product term (minterm) (标准与项 ；最小项): is a product term that includes each variable of the problem, either uncomplemented or complemented. such as: w’xyz wxy’z x’zyw (3) SOP: Sum of Products form (积之和式/与或式） (4) Canonical sum /sum of standard product terms （标准和/标准与项和；最小项标准式） (5) Minimum sum of products:(最简与或式) ① fewest number of product terms ② fewest number of literals P9a ab+ab’=a P9b (a+b)(a+b’)=a P10a a+a’b=a+b P10b a(a’+b)=ab 补充内容 (6) Sum term (或项)： a+b’+c , b’ (7) Standard sum term (maxtern) (标准或项；最大项)： is a sum term that includes each variable of the problem, either uncomplemented or complemented. such as: w’+x+y+z , w+x+y’+z , x’+z+y+w (8) POS: Product of sums (和之积式/或与式） (9) Canonical product /product of standard sum terms (标准与/标准或与项；最大项标准式) (10) Minimum product of sum (最简或与式) ①fewest number of sum terms ②fewest number of literals 2.6 逻辑函数的卡诺图化简 2.6.1 卡诺图的构成 在逻辑函数的真值表中， 输入变量的每一种组合都和一个最小项相对应，这种真值表也称最小项真值表。 卡诺图就是根据最小项真值表按逻辑相邻规则排列的方格图。 0 1 1 1 0 0 0 1 1 0 1 1 F A B A B 0 0 0 1 1 0 1 1 m0 m1 m2 m3 A A B B AB A B 1 0 1 0 m0 m1 m2 m3 mi AB AB AB A B 1 0 1 0 0 1 2 3 二变量K图 将n变量的全部最小项各用一个小方块表示，并使具有逻辑相邻性的最小项在几何位置上也相邻地排列起来，所得到的图形叫做n变量的卡诺图（Karnaugh Map）。 假设：AB顺序 表 2-12 三变量最小项 图 2-13 三变量K图 图 2-14 四变量、五变量K图 0 AB CD 00 01 11 10 1 4 12 8 5 13 9 3 2 7 15 11 6 14 10 00 01 11 10 0 ABC DE 000 1 4 12 8 5 13 9 3 2 7 15 11 6 14 10 00 01 11 10 24 25 28 20 16 29 21 17 27 26 31 23 19 30 22 18 001 011 010 110 111 101 100 A B C A B C A B C A B C A B C A B C A B C A B C AB C 00 01 11 10 0 1 m 0 AB C 00 01 11 10 0 1 m 1 m 2 m 6 m 4 m 3 m 7 m 5 格雷码 (ABC顺序) (ABCD顺序) (ABCDE顺序) K图具有如下特点：  ① n变量的卡诺图有2n个方格，对应表示2n个最小项。每当变量数增加一个，卡诺图的方格数就扩大一倍。  ② 卡诺图中任何几何位置相邻的两个最小项，在逻辑上都是相邻的。 几何相邻：一是相接，即紧挨着； 二是相对，即任意一行或一列的两头；三是相重， 即对折起来位置