第和(第一次课)精要.ppt

* 逻辑函数的Q-M法化简（续） 2.4 逻辑函数的表格法化简(Q-M法) 第二步：从全部质蕴涵项中选出必要的质蕴涵项。 1）先作P1~ P7和mi对应的表格（表IV） 表IV 质蕴涵项 最小项 P1 P2 P3 P4 P5 P6 P7 m2 m4 m8 m6 m9 m12 m10 m13 m15 * 2）进行“行列消去”:检查所有的mi对应的列，若在mi对应列中只有一个△ ，则该△所对应的Pj项为必要；保留Pj并消去Pj对应的行。由于Pj项为必要，Pj 包含的所有△对应的列（最小项m）均可消去。 m9列只有一个△，所以P7为必要；P7有4个△，分别对应m8, m9, m12, m13。P7所蕴涵的m8, m9, m12, m13均可从表中删去。同理，P6也为必要， P6所蕴涵的m13, m15可以从表中删去。 表IV P1 P2 P3 P4 P5 P6 P7 m2 m4 m8 m6 m9 m12 m10 m13 m15 质蕴涵项 最小项 * 3）进行“行消去”：检查所有的Pj,对应的行，若在Pj对应的行中只有一个△ ，再检查该△所对应的列mi，如果mi还有其它的△，则Pj项为非必要质蕴涵项F(因为其它的P中已经包含了Pj ，消去Pj对应的行。 P1 P2 P3 P4 P5 m2 m4 m6 m10 质蕴 涵项 最小项 表V P4行只有一个△，该△对应的m8列中还有其它的△（P3行）；P4为非必要，消去P4，同理消去P5。 质蕴 涵项 最小项 m2 m4 m6 P1 P2 P3 m10 表VI * 4）重复进行“行列消去”和“行消去”，直到消去全部的质蕴涵项为止。 P2,P3为必要质蕴涵项，保留并消去P2,P3和m2, m4, m6, m10列。算法结束。 直观来看：因P2,P3蕴涵了表VI中所列全部m项（m2, m4, m6, m10)，故P1为非必要质蕴涵项 化简结果为： 质蕴 涵项 最小项 m2 m4 m6 P1 P2 P3 m10 表VI * 逻辑函数的Q-M法化简（续） 用卡诺图直观观察： 00 11 01 10 00 11 01 10 0 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 B A D C P2 P3 P6 P7 * 第二章 逻辑代数（65） 2.4 逻辑函数的表格法化简(Q-M法) 总结：表格法化简步骤： （1）求出函数全部的质蕴涵项， 1）把F中的各mi,按下标i中“1”的个数,分组排队列表。 2）在列表逐项寻找相邻项并合并，并重新分组排列表。 3）重复上述过程，直到不能合并为止。 （2）从质蕴涵项中选出必要的质蕴涵项。 1）先作P和m对应的表格 2）进行“行列消去” 3）进行“行消去” 4）重复2）和3），直到消去全部的质蕴涵项为止。 * 第二章 逻辑代数（66） 2.4 逻辑函数的表格法化简(Q-M法) 表格法很繁琐，适合于编制计算机程序，如果人工使用表格法，容易出错。 计算机辅助逻辑化简的其他方法，在高年级选修课程和研究生课程中还会学到。 * 第二章 逻辑代数——小结 2.1 逻辑代数的基本运算与公式 2.2 公式法化简逻辑函数 2.3 图解法(卡诺图)化简逻辑函数 2.4 逻辑函数的表格法化简(Q-M法 ) * 作业：2.6（1），（2）； 2.7（1），（2）； 2.11（2），（3）； 2.12（2），（3）； 2.13（1），（2）； 2.15（3），（5）； * * * * 第二章 逻辑代数（42） 2.3 图解法(卡诺图)化简逻辑函数 卡诺图：Karnaugh Map； 卡诺图：逻辑函数的图示表示，把最小项填入卡诺图，利用相邻最小项的互补性，消去一个变量，实现化简。 卡诺图的构成 (1)由矩形或正方形组成的图形 (2)将矩形分成若干小方块，每个小方块对应一个最小项。 卡诺图的核心思想之一 在图中将所有最小项都列出，选取构成一个函数的所有最小项，并合并。 * 第二章 逻辑代数（43） 2.3 图解法(卡诺图)化简逻辑函数 1变量卡诺图 整体为1 只有一个变量，将大方框划分为左、右两部分，表示 1 也可以将大方框划分为上、下两部分，表示 * 第二章 逻辑代数（44） 2.3 图解法(卡诺图)化简逻辑函数 2变量卡诺图：假设两个变量分别为A和B 一个变量用大方框左、右两部分表示 另一