清华大学数字逻辑课件-第1章2.pptVIP

4个变量卡诺图的最小项 “与或”表达式化简：例3 “与或”表达式化简： “与或”表达式化简： 5变量卡诺图的最小项 1.4 逻辑函数的表格法化简(Q-M法 ) ——计算机辅助逻辑设计的方法 卡诺图化简法直观方便，过程简单明了，但只适合于变量数=4的函数。 Q-M(Quine-McCluskey) 法和卡诺图法的化简思路是一致的:两相邻最小项可以合并,消去一个变量. [1952，1956] Q-M法是用分组表格法，把两相邻与项合成为一新的与项，从而消去一变量。它适合于变量数4的函数，化简过程有规律，可编程，便于计算机实现。 4变量卡诺图的最小项 Q-M方法的基本思想 “相邻两个最小项中有一个变量互补”在最小项编号上的规律： 以4变量卡诺图为例分析观察： m1同 m0,m3,m5,m9相邻，（每个mi都有4个相邻） 它们的下标编号为：0001与0000,0011,0101,1001 结论：相邻最小项编号中“1”的个数差等于1； m1同 m2,m4,m8,3个最小项不相邻，它们的下标编号中“1”的个数差等于0； m1还有 m6,m7, m10, m11, m12, m13, m14,m15等8个最小项不相邻，它们的下标0110,0111,1010,1011……,这些最小项编号中“1”的个数差可能等于1，也可能不等于1。 Q-M方法的基本思想（续） 根据最小项编号中“1”的个数差就能判断是否相邻！ 最小项编号中“1”的个数差： 等于0，最小项肯定不相邻！ 等于1，最小项有可能相邻！ 算法步骤：（1）最小项分组：将最小项编号中“1”的个数相同的最小项分在一组，并按组号大小排序； （2）相邻组比较：合并最小项编号中“1”的个数差等于1的所有相邻最小项，得到函数的全部质蕴涵项； （3）求必要质蕴涵项：从全部质蕴涵项中消去冗余项，得到必要质蕴涵项，即为化简结果。 步骤1 求函数的全部质蕴涵项 步骤1 求函数的全部质蕴涵项(续)例: 步骤1 求函数的全部质蕴涵项(续) 步骤1 求函数的全部质蕴涵项(续) 步骤1 求函数的全部质蕴涵项(续) 由图可见，P1~ P7覆盖了F的全部最小项；对每个P项，它们是不能再和其它P项或最小项合并了。 由图还可见，P1~ P7中有不必要的质蕴涵项： 例如，若P2，P3必要，则P1就不必要。 为此，下一步骤就要从全部质蕴涵项中消去冗余项，选出必要的质蕴涵项。 步骤2 寻找必要的质蕴涵项 步骤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 寻找必要的质蕴涵项（续） 步骤2 寻找必要的质蕴涵项（续） “行消去” 暂时消去了要保留的必要质蕴涵项，使表格简化。 “列消去”的目的是去掉不必要的质蕴涵项 方法：先找只有一个△的行，如果在它所对应的列上也有△，则表示这个P项被其它行所包含，这个P项就可以消去。 在Pi行记有△的各列，若在Pj行对应列中也均记有△，则Pi行就是不必要的质蕴涵项。 步骤2 寻找必要的质蕴涵项（续） 步骤2 寻找必要的质蕴涵项（续） 必要质蕴涵项的卡诺图表示 根据最小项编号中“1”的个数差判断是否相邻。 第一步求全部质蕴涵项。分组后在相邻组间反复比较，两个最小项间只要有一个变量不同，就可以消去一个变量，最后得到覆盖F所有最小项的全部 质蕴涵项。 第二步求必要质蕴涵项。找出只有一个△的mi列，它所对应的P项一定是要保留的；找出只有一个△的Pi行，如果在它所对应的m列上也有△，则表示这个P项是可以消去的。反复这一过程得到所有的必要质蕴涵项。 多输出逻辑函数的表格法化简不要求(p38-45). 计算机辅助逻辑化简的其他算法还在继续研究。 1.5 特殊形式的逻辑函数化简 基本形式的逻辑函数： 单输出逻辑函数，F＝f(A,B,C…) 特殊形式的逻辑函数： 1. 多输出逻辑函数 2. 包含不管项的逻辑函数 只要求掌握卡诺图化简法 (1)多输出逻辑函数的化简 多输出逻辑函数：同一组输入变量，有两个以上的输