【数字逻辑课件】特殊形式的逻辑函数化简.ppt

1.4 卡诺图化简（续） －特殊形式的逻辑函数化简 逻辑函数的基本形式： 单输出逻辑函数，F＝f(A,B,C…) 特殊形式的逻辑函数： 1. 多输出逻辑函数 2. 包含不管项的逻辑函数 (1)多输出逻辑函数的化简 多输出逻辑函数：同一组输入变量，有两个以上的输出。 F1＝ f(A,B,C…) F2＝ f(A,B,C…) 化简时，在“与或”表达式中要尽量寻找公共的“或”项，使公共项为多个函数共享，这时从单个输出看可能不是最简，但总体是最简。 例：P39上的例题，如果按每个表达式单独化简到最简，用4个门(图2-24(b))。如果两个表达式综合考虑，只用3个门 (图2-25(b))。 (2)有“不管项”的逻辑函数化简 包含不管项（Don’t Care）的逻辑函数：函数F的取值只和一部分最小项有关，另一部分最小项既可以取“0”，也可以取“1”，这些最小项称“不管项”或“任意项”。 “不管项”的两种情况： 1. 这些输入组合不可能出现 2. 其输入组合虽能出现，但最小项的值是“1”还是“0”，人们不关心 例：设计一位十进制数的数值范围判断器，当x>=5，F=1；否则，F=0。 (ABCD表示一位十进制数,A是低位,D是高位) 有“不管项”的逻辑函数化简（续） 1.5 逻辑函数的表格法化简(Q-M法 ) ——计算机辅助逻辑设计的方法 卡诺图法化简直观方便，过程简单明了，但只适合于变量数<=4的函数。 Q-M(Quine-McCluskey) 法和卡诺图法的化简思路是一致的。 Q-M法是用分组表格法，把两相邻与项合成为一新的与项，从而消去一变量。它适合于变量数>4的函数，化简过程规律性强，适用于计算机算法实现。 Q-M方法的基本思想 什么情况下会出现“相邻两个最小项中有一个变量互补”？从最小项的编号上看有什么规律？ 观察：以4变量卡诺图为例： m1 同 m0,m3,m5,m9相邻， 下标编号为：0001与0000,0011,0101,1001 m1 同 m4,m8,m10, m13等不相邻， 下标编号为：0001与0100,1000,1010,1101 结论： 最小项编号中“1”的个数差＝0 ，肯定不相邻 最小项编号中“1”的个数差>＝2，肯定不相邻 最小项编号中“1”的个数差＝1，可能相邻！ 按照最小项mi下标编号中二进制数“1”的个数进行分组比较，可以化简。 4变量Karnaugh Map 逻辑函数的Q-M法化简 逻辑函数的Q-M法化简（续）例: 逻辑函数的Q-M法化简（续） 逻辑函数的Q-M法化简（续） 逻辑函数的Q-M法化简（续） 由图可见，P1~ P7覆盖了F的全部最小项；对每个P项，它们是不能再和其它P项或最小项合并了。 由图还可见，P1~ P7中有不必要的质蕴涵项： 例如，若P2，P3必须，则P1就不必要。 为此，下一步骤就要从全部质蕴涵项中选出必要的质蕴涵项。 步骤2 寻找必要的质蕴涵项 步骤2 寻找必要的质蕴涵项（续） “行消去”： 在mi列记有△的各行，若在mj列对应行也均记有△，则mi列记有△所对应的P项为必要。 对表IV，m9列只有一个△，它所对应的P7有4个△， 分别对应m8, m9, m12, m13。由于P7为必要，P7所蕴涵的m8, m9, m12, m13均可从表中删去，以简化表IV。 同理，P6也为必要， P6所蕴涵的m13, m15可以从表中删去，如下图。 简化后的表IV，示于表V。再对表V进行“列消去”。 步骤2 寻找必要的质蕴涵项（续） 步骤2 寻找必要的质蕴涵项（续） “列消去” ： 在Pi行记有△的各列，若在Pj行对应列中也均记有△，则Pi行为非必要质蕴涵项。 对于表V，P4行只有一个△，它所对应的m4列包含在P3行中，故P4为非必要的质蕴涵项。 同理，P5也为非必要的质蕴涵项。 步骤2 寻找必要的质蕴涵项（续） 步骤2 寻找必要的质蕴涵项（续） 表格法很繁琐，并非实用。 计算机辅助逻辑化简的其他方法，在高年级选修课程和研究生课程中还会学到。 书上改错：36－37 1.6 逻辑函数的实现 由最小项和函数式表达的逻辑函数要用逻辑电路来实现。实现时要考虑的问题包括可用集成电路的种类、逻辑函数的形式、集成电路的级数等。 下列三种，”与非－与非”结构最常用。 与非－与非实现 与－或－非实现 或非－或非实现 门电路符号 门电路符号 例1:实现 五种实现的传输级数 与非－与非