具有约束化简.pptVIP

具有约束的逻辑函数的化简 例：三八妇女节，某单位包了一场演出，票只发给在本单位工作的女同志，以示庆贺。试分析该逻辑问题。 具有无关项的逻辑函数的化简 化简下列函数 EXIT 逻辑代数基础 EXIT 功能表 能 有 女 是 否 无 女 是 不会出现 有 男 是 否 无 男 是 不会出现 有 女 非 否 无 女 非 不会出现 有 男 非 否 无 男 非 说明 能否进场 演出票 性别 单位 真值表 1 1 1 1 0 0 1 1 不会出现 1 0 1 0 0 0 1 不会出现 1 1 0 0 0 1 0 不会出现 1 0 0 0 0 0 0 说明 Y C B A 真值表 1 1 1 1 0 0 1 1 × 1 0 1 0 0 0 1 × 1 1 0 0 0 1 0 × 1 0 0 0 0 0 0 Y C B A 具有约束的逻辑函数的化简 0 1 × 0 1 0 × × 0 0 10 11 01 00 BC A Y=C 约束项和随意项都不会在逻辑函数中出现，所对应函数值视为 1 或 0 都可以，故称无关项。 不允许出现的无关项又称约束项；客观上不会出现的无关项又称随意项。 合理利用无关项可使逻辑式更简单 1. 无关项的概念与表示 　　无关项是特殊的最小项，这种最小项所对应的变量取值组合或者不允许出现或者根本不会出现。 　　无关项在卡诺图和真值表中用“?”“?”来标记，在逻辑式中则用字母 d 和相应的编号表示。 例如 8421 码中，1010 ~ 1111这 6 种代码是不允许出现的。 例如 A、B 为连动互锁开关，设开为 1 , 关为 0 , 则 AB 只能取值 01 或 10 , 不会出现 00 或 11。 2. 利用无关项化简逻辑函数 　　无关项的取值对逻辑函数值没有影响。化简时应视需要将无关项方格看作 1 或 0 ，使包围圈最少而且最大，从而使结果最简。 例：函数Y的变量A、B、C是互相排斥的，试用图形法求出Y的最简与或表达式。 × 1 1 1 × 0 1 1 × 1 0 1 1 0 0 1 × 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 Y C B A × × × 1 1 1 × 1 0 0 10 11 01 00 BC A Y=A+B+C AB+BC+AC=0 将 d10 看成 0,其余×看成 1 将×看成 0 AB CD 00 01 11 10 00 01 11 10 1 1 1 1 1 1 × × × × × × × 显然左图化简结果最简 解：(1)画变量卡诺图 [例] 用卡诺图化简函数 Y=∑m (0,1,4,6,9,13)+ ∑d (2,3,5,7,10,11,15) AB CD 00 01 11 10 00 01 11 10 (2)填图 1 1 1 1 1 (4)写出最简与 - 或式 最小项 (3)画包围圈 无关项 1 × × × × × × × 0 × [例] 已知函数 Y 的真值 表如下，求其最简 与 - 或式。 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 × 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 Y A B C 解：(1)画变量卡诺图 A BC 0 1 00 01 11 10 × 1 1 1 (4)写出最简与 - 或式 (2)填图 (3)画包围圈 × 要画圈吗？ 解：(1)画变量卡诺图 AB CD 00 01 11 10 00 01 11 10 (2)填图 (4)求最简与 - 或式 (3)画包围圈 1 1 1 1 求最简与非式基本方法是：先求最简与或式，再利用还原律和摩根定律变换为最简与非式。 [例] 求函数 的最简与非式 1 1 × × × × × × × × (5)求最简与非式 分析题意 称约束条件，表明与项 AB 和 AC 对应的最小项不允许出现，因此  AB 和 AC 对应的方格为无关项。 约束条件 1 1 × 1 1 × 0 10 11 01 00 BC A 解： 具有约束的逻辑函数如真值表所示，试分别求出其最简与或表达式和最简或与表达式。 × 1 1