逻辑化简：格雷码-卡诺图.ppt

已 知 一 般 表 达 式 画 函 数 卡 诺 图 解：(1) 将逻辑式转化为与或式 (2) 作变量卡诺图 找出各与项所对应的最小项方格填 1，其余不填。 [例] 已知，试画出 Y 的卡诺图。 AB + AB CD 00 01 11 10(3) 根据与或式填图1 1 1 1 1 1 1 1 1 1 AB 对应最小项为同时满足 A = 1， B = 1 的方格。 BCD 对应最小项为同时满足 B = 1，C = 0，D = 1的方格 AD 对应最小项为同时满足 A = 0，D = 1的方格。 化简规律 　　2 个相邻最小项有 1 个变量相异，相加可以消去这 1 个变量，化简结果为相同变量的与； 　　4 个相邻最小项有 2 个变量相异，相加可以消去这 2 个变量，化简结果为相同变量的与； 　　8 个相邻最小项有 3 个变量相异，相加可以消去这 3 个变量，化简结果为相同变量的与； …… 　　2n 个相邻最小项有 n 个变量相异，相加可以消去这 n 个变量，化简结果为相同变量的与。 消 异 存 同 　（1）任何两个（21个）标1的相邻最小项，可以合并为一项，并消去一个变量（消去互为反变量的因子，保留公因子）。 　（2）任何4个（22个）标1的相邻最小项，可以合并为一项，并消去2个变量。 　（3）任何8个（23个）标1的相邻最小项，可以合并为一项，并消去3个变量。 Ｄ Ｂ AB CD 00 01 11 10 1 1 例如 2 个相邻项合并消去  1 个变量，化简结果为相同变量相与。 ABCD+ABCD=ABD AB CD 00 01 11 10 1 1 例如 2 个相邻项合并消去  1 个变量，化简结果为相同变量相与。 ABCD+ABCD=ABD AB CD 00 01 11 10例如 1 1 1 1 ABCD+ABCD +ABCD+ABCD =ACD +ACD =AD 4 个相邻项合并消去 2 个变量， 化简结果为相同变量相与。 8 个相邻项合并消去 3 个变量 A 1 1 1 1 11 1 1 画包围圈规则包围圈必须包含 2n 个相邻 1 方格，且必须成方形。 先圈小再圈大，圈越大越是好；1 方格可重复圈，但 须每圈有新 1；每个“1”格须圈到，孤立项也不能掉。 同一列最上边和最下边循环相邻，可画圈；同一行最左边和最右边循环相邻，可画圈； 四个角上的 1 方格也循环相邻，可画圈。 注意 ABCD+ABCD +ABCD+ABCD 卡诺  图化 简法 步骤 画函数卡诺图 将各圈分别化简 对填 1 的相邻最小项方格画包围圈 将各圈化简结果逻辑加 m15 m9 m7 m6 m5 m4 m2 m0 解：(1)画变量卡诺图 [例] 用卡诺图化简逻辑函数Y(A,B,C,D)=∑m (0,2,4,5,6,7,9,15) AB CD 00 01 11 10(2)填卡诺图 1 1 1 1 1 1 1 1 (3)画包围圈 a b c d (4)将各图分别化简 圈 2 个可消去 1 个变量，化简为 3 个相同变量相与。 Yb = BCD 圈 4 个可消去 2 个变量，化简为 2 个相同变量相与。 孤立项 Ya=ABCD Yc = AB 循环相邻 Yd = AD (5)将各图化简结果逻辑加，得最简与或式 解：(1)画变量卡诺图 [例] 用卡诺图化简逻辑函数Y(A,B,C,D)=∑m (0,2,5,7,8,10,12,14,15) AB CD 00 01 11 10(2)填卡诺图 1 1 1 1 1 1 1 1 (4)求最简与或式 Y= 1 消 1 个剩 3 个 (3)画圈 消 2 个剩 2 个 4 个角上的最小项循环相邻 找 AB =11, C = 1 的公共区域 找 A = 1, CD = 01 的公共区域 找 B = 1, D = 1 的公共区域 解：(1)画变量卡诺图 AB CD 00 01 11 10(2)填图 1 1 (4)化简 (3)画圈 [例] 用卡诺图化简逻辑函数 0011 m3 0100 m4 1 1 1 1 1 1 1 1 要画吗？ Y = [例] 已知某逻辑函数的卡诺图如下所示，试写出其最简与或式。 AB CD 00 01 11 10 1 1 1 1 1 1 1 1 1 1 0