必要质蕴涵项的卡诺图表示 A00 0111 0 000 P31 11P610F=P2+P+P+P P7 101 abC+ acd+ acd+bd P2
必要质蕴涵项的卡诺图表示 00 01 11 10 00 11 01 10 0 0 0 1 1 0 0 1 1 1 1 0 1 1 0 1 B A D C P2 P3 P6 P7 ABC ACD ACD BD F P P P P = + + + = 2 + 3 + 6 + 7
逻辑函数的表格化简法(Q-M法)小结 根据最小项编号中“1”的个数差判断是否相邻。 第一步求全部质蕴涵项。分组后在相邻组间反复比 较,两个最小项间只要有个变量不同,就可以消 丟一个变量,最后得到覆盖F所有最小项的全部 蕴涵项 ·第二步求必要质蕴涵项。找出只有一个△的m列, 它所对应的P项一定是要保留的;找出只有一个△的 如果在它所对应的m列上也有△,则表示这个 项是可以消去的。反复这一过程得到所有的必要质 蕴涵项。 多输出逻辑函数的表格法化简不要求(p38-45) ·计算机辅助逻辑化简的其他算法还在继续研究
• 根据最小项编号中“1”的个数差判断是否相邻。 • 第一步求全部质蕴涵项。分组后在相邻组间反复比 较，两个最小项间只要有一个变量不同，就可以消 去一个变量，最后得到覆盖F所有最小项的全部 质 蕴涵项。 • 第二步求必要质蕴涵项。找出只有一个△的mi列， 它所对应的P项一定是要保留的；找出只有一个△的 Pi行，如果在它所对应的m列上也有△，则表示这个 P项是可以消去的。反复这一过程得到所有的必要质 蕴涵项。 • 多输出逻辑函数的表格法化简不要求(p38-45). • 计算机辅助逻辑化简的其他算法还在继续研究。 逻辑函数的表格化简法(Q-M法)小结
2.2.5特殊形式的逻辑函数化简 基本形式的逻辑函数: 单输出逻辑函数,F=f(AB,C.) ·特殊形式的逻辑函数: 1.多输出逻辑函数 2.包含不管项的逻辑函数 ·只要求掌握卡诺图化简法
2.2.5 特殊形式的逻辑函数化简 • 基本形式的逻辑函数： 单输出逻辑函数，F＝f(A,B,C…) • 特殊形式的逻辑函数： 1. 多输出逻辑函数 2. 包含不管项的逻辑函数 • 只要求掌握卡诺图化简法