步骤2寻找必要的质蕴涵项(续) 判断哪些行是必要的?先行消去,再列消去 方法:先找尽有个全的列,它们所对应的行一定要保 留,这个P项是必要质蕴涵项。 中表示这两个最小项只被画一次),这些列肯定是必要 的:,m它所对应的P,有4个今,分别对应mmm12m 因此P为必要的。由于P2必要,P 涵的 mmn,m12,m1可从表中暂时删去,以简化表。 同理,由于m1s是必要的,P也为必要,P所蕴涵的msy 暂时删去 “行消去”找到的是要保貿的必要质蕴涵项,暂时从表 格中消去的目的是为 表格
步骤2 寻找必要的质蕴涵项(续) • 判断哪些行是必要的?先行消去,再列消去: • 方法:先找只有一个△的列,它们所对应的行一定要保 留,这个P项是必要质蕴涵项。 • 对表IV,只有m9和m15对应的列只有一个△(在卡诺图 中表示这两个最小项只被画一次),这些列肯定是必要 的;m9它所对应的P7有4个△,分别对应m8 ,m9 ,m12,m13. 因 此 P7 为 必 要 的 。 由 于 P7 必 要 , P7 所 蕴 涵 的 m8 ,m9 ,m12,m13可从表中暂时删去,以简化表IV。 • 同理,由于m15是必要的,P6也为必要,P6所蕴涵的m13, m15可以从表中暂时删去,如下图。 • “行消去”找到的是要保留的必要质蕴涵项,暂时从表 格中消去的目的是为了简化表格
步骤2寻找必要的质蕴涵项(续) 最小项 表Ⅵ 质蕴mzm4m中巾m0叫2中3叫 涵项P1 △△ △ △ △
步骤2 寻找必要的质蕴涵项(续) 表V P1 P2 P3 P4 P5 P6 P7 质蕴 m2 m4 m6 m8 m9 m10 m12 m13 m15 涵项 最小项
步骤2寻找必要的质蕴涵项(续) “行消去”暂时消去了要保留的必要质蕴姬 亟使表格简化。 “列消去”的目的是去不必要的质蕴涵项 方法:先找只有一个△的行,如果在它所对 应的列上也有△,则表示这个P项被其它行所 包含,这个P项就可以消去 在P行记有△的各列,若在P行对应列中也均 记有△,则P行就是不必要的质蕴涵项
步骤2 寻找必要的质蕴涵项(续) • “行消去” 暂时消去了要保留的必要质蕴涵 项,使表格简化。 • “列消去”的目的是去掉不必要的质蕴涵项 • 方法:先找只有一个△的行,如果在它所对 应的列上也有△,则表示这个P项被其它行所 包含,这个P项就可以消去。 • 在Pi行记有△的各列,若在Pj行对应列中也均 记有△,则Pi行就是不必要的质蕴涵项
步骤2寻找必要的质蕴涵项(续) 质蕴、最小项 m, m 涵项 最小项 △ △ 质蕴、m2m4mbmo △ △涵项P△ △ △△ △ △ △△ 表V 表ⅥI 表V中,P行只有一个△,它所对应的m列包含在P行 中,故P为非必要的质蕴涵项。同理,Ps也为非必要的 质蕴涵项。表V简化为表VI
步骤2 寻找必要的质蕴涵项(续) P1 P2 P3 P4 P5 m2 m4 m6 m10 质蕴 涵项 最小项 质蕴 涵项 最小项 m2 m4 m6 P1 P2 P3 m10 表V 表VI 表V中,P4行只有一个△,它所对应的m4列包含在P3行 中,故P4为非必要的质蕴涵项。同理,P5也为非必要的 质蕴涵项。表V简化为表VI
步骤2寻找必要的质蕴涵项(续) 最后,再对简化后的表V进行“行消去” 最小项 P2P3为必要质蕴涵项(因 质蕴 10 为m4和m1o列只有一个△ 涵项P4 所以P2P3必须保留) 因P2P3蕴涵了表中所列 全部m项(m2,mmm1), 化简结果为 故P1为非必要质蕴涵项 F=P2+P3+P+P, abC+acd+ acd+bd
步骤2 寻找必要的质蕴涵项(续) 最后,再对简化后的表VI进行“行消去” 。 m2 m4 m6 P1 P2 P3 质蕴 m10 涵项 最小项 P2 ,P3为必要质蕴涵项 (因 为m4 和m10列只有一个△, 所以P2 ,P3 必须保留) 因P2 ,P3蕴涵了表VI中所列 全部m项(m2 , m4 , m6 , m10), 化简结果为 故P1为非必要质蕴涵项 ABC ACD ACD BD F P P P P = + + + = 2 + 3 + 6 + 7