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

* 例如 用列表法化简逻辑函数 解 第一步：将函数中的每一个最小项用二进制代码表示，如下表所示。 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 0 0 1 10 11 14 15 0 5 7 8 9 A B C D 项号 A B C D 项号 最小项的二进制代码 * 第二步：作质蕴涵项产生表，找出函数的全部质蕴涵项。该函数的质蕴涵项产生表如下表所示。 √ 1111 15 4 p3 √ √ -111 1-11 111- 7,15 11,15 14,15 3 √ √ √ 0111 1011 1110 7 11 14 3 p4 √ √ √ 01-1 10-1 101- 1-10 5,7 9,11 10,11 10,14 2 √ √ √ 0101 1001 1010 5 9 10 2 p1 1-1- 10,11,14,15 2 √ √ 100- 10-0 8,9 8,10 1 √ 1000 8 1 p2 10-- 8,9, 10,11 1 p5 -000 0,8 0 √ 0000 0 0 Pi ABCD 组号 Pi ABCD 组号 Pi ABCD mi 组号 (Ⅲ) (n-2)个变量的“与”项 (Ⅱ) (n-1)个变量的“与”项 (Ⅰ)最小项 质蕴函项产生表 * 质蕴涵项产生表中凡是没有打“√”标记的“与”项，即函数的质蕴涵项，用Pi表示，该函数的全部质蕴涵项为 * 第三步：作必要质蕴涵项产生表,找出函数的必要质蕴涵项。本例的必要质蕴涵项产生表如下表所示。 覆盖情况 0 5 7 8 9 10 11 14 15 mi pi × × × × × × × × × × √ √ √ √ √ √ √ √ √ 必要质蕴涵项产生表 p1* p2* p3 p4* p5* × × × × * 第四步：找出函数的最小覆盖 本例选取必要质蕴涵项p1,p2,p4,p5后即可覆盖函数的全部最小项。因此，该函数化简的最终结果为 当给定函数的必要质蕴涵项集不能覆盖该函数的全部最小项时，还需进一步从剩余质蕴涵项集中找出所需质蕴涵项，以构成函数的最小质蕴涵项集。 列表法的优点是规律性强，对变量数较多的函数，尽管工作量很大，但总可经过反复比较、合并得到最简结果。该方法很适用于计算机处理。 * 0 1 00 01 11 10 AB C m5 m4 m7 m6 m3 m1 m2 m0 00 01 11 10 AB CD 00 01 11 10 m10 m14 m6 m2 m11 m15 m7 m3 m9 m13 m5 m1 m8 m12 m4 m0 祝大家学习愉快！ ∨析取：有真取真，同假取假，就相当于集合中的取并集。 * ∧合取：同真取真，其余取假，就相当于集合中的取交集； * * 模2加 * 因为相同为0，所以不考虑0的个数 * 因为相同为1，所以不考虑1的个数 * 公理 3 分配律 A + ( B · C ) = ( A + B ) · ( A + C ) A · ( B + C ) = A · B + A · C * 证明 A · ( A + B ) =( A+0 ) · ( A + B ) = A +0B=A * 推论 推论 * * * * * 00 01 11 10 AB C 0 1 1 0 0 1 1 0 0 0 AB BC 结论1 2个相邻的最小项相圈，合为1项并消去1个取值不同的变量。 三变量卡诺图两个相邻项之间的化简 3、用卡诺图合并最小项 * 0 1 1 0 0 0 1 0 1 1 00 01 11 10 AB C 0 0 0 1 1 1 0 1 0 1 00 01 11 10 AB C B B 结论2 4个相邻的最小项相圈，合为1项并消去2个取值不同的变量。 三变量卡诺图四个相邻项之间的化简 3、用卡诺图合并最小项 * 4变量卡诺图上四个相邻项化简 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 AB CD 00 01 11 10 00 01 11 10 1 1 1 1 1 0 0 1 1 0 0 0 0 1 0 0 AB CD 00 01 11 1