2第2章逻辑代数基础探索.ppt

逻 辑 代 数 基 础 本章知识要点： ☆　基本概念 ☆　基本定理和规则 ☆　逻辑函数的表示形式 ☆　逻辑函数的化简 第二章 逻辑代数基础 谢谢！ 作业布置 配项法 通过乘 或加入零项 进行配项，然后再化简。 综合灵活运用上述方法 [例] 化简逻辑式 解： 应用 [例] 化简逻辑式 解： 应用 应用 AB [例] 化简逻辑式 解： 应用 用摩根定律 [例] 化简逻辑式 解： 先将或 — 与式变换成与 —或式（用对偶规则） 再取对偶还原 公式法化简对逻辑函数变量的的个数没限制。 有时化简结果较难判定是否为最简，且最简结果也不一定是唯一的。 或 — 与式化简 例 化简 第二步：化简F’ ； 第三步：对F求对偶, 得到F的最简“或-与”表达式。 解 第一步：求F的对偶式F’； 归纳： 　　代数化简法的优点是：不受变量数目的约束；当对公理、定理和规则十分熟练时，化简比较方便。 　　缺点是：没有一定的规律和步骤，技巧性很强，而且在很多情况下难以判断化简结果是否最简。 2.4.2 卡诺图化简法 　　卡诺图化简法具有简单、直观、容易掌握等优点，在逻辑设计中得到广泛应用。 一、卡诺图的构成 　　卡诺图是一种平面方格图，每个小方格代表一个最小项，故又称为最小项方格图。 　　　　 （1） 相邻最小项 　　两个最小项中只有一个变量互为反变量，其余变量均相同，称为相邻最小项，简称相邻项。 例如 三变量最小项 ABC 和 ABC 相邻最小项重要特点： 两个相邻最小项相加可合并为一项， 消去互反变量，化简为相同变量相与。 将 n 变量的 2n 个最小项用 2n 个小方格表示， 并且使相邻最小项在几何位置上也相邻且循环相邻， 这样排列得到的方格图称为 n 变量最小项卡诺图，简称为变量卡诺图。 （2） 变量卡诺图 变量取 0 的代以反变量 取 1 的代以原变量 A B 二 变 量 卡 诺 图 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 A B 0 1 0 1 m0 m1 m2 m3 0 1 2 3 A B A A B B AB AB AB AB 四 变 量 卡 诺 图 0 1 3 2 4 5 7 6 12 13 15 14 8 9 11 10 三 变 量 卡 诺 图 A BC 0 1 00 01 11 10 m6 m7 m4 m2 m3 000 m0 m5 001 m1 6 7 5 4 2 3 1 0 AB CD 00 01 11 10 00 01 11 10 以循环码排列以保证相邻性 变量取 0 的代以反变量 取 1 的代以原变量 AB CD 00 01 11 10 00 01 11 10 0 1 3 2 4 5 7 6 12 13 15 14 8 9 11 10 AB CD 相邻项在几何位置 上也相邻 卡诺图特点： 循环相邻性 同一列最 上与最下 方格相邻 同一行最 左与最右 方格相邻 10 14 6 2 11 15 7 3 9 8 13 12 5 1 4 0 26 30 22 18 27 31 23 19 25 24 29 28 21 17 20 16 00 01 11 10 000 001 011 010 100 101 111 110 ABC DE ( d ) 5变量卡诺图 5变量卡诺图如图（d）所示。 　　五变量卡诺图中的m3，除了几何相邻的m1，m2，m7和相对相邻的m11外，还与m19相邻。这种相邻称为重叠相邻。 已知 标准 与- 或 式画 函数 卡诺 图 试画出函数 Y(A,B,C,D) = ∑m (0,1,12,13,15) 的卡诺图 解： (1) 画出四变量卡诺图 (2) 填图 逻辑式中的最小项 m0、m1、m12、m13、m15　对 应的方格填 1，其余不填或填 0 。 AB CD 00 01 11 10 00 01 11 10 0 1 3 2 4 5 7 6 12