电子技术基础数字部分2.ppt

第二章 逻辑代数 2.1 逻辑代数基本规则 2.2 逻辑函数的化简 2.3 卡诺图 2.1 逻辑代数基本规则 逻辑函数表达式的书写及基本运算法则 先做括号内的逻辑运算 对某变量取“非”，可以不加括号 例如： 不必写成： 在表达式中，若即有“与”运算，又有“或”运算，则按先“与”后“或” 的原则，省去括号 例如： 可写成： 但 则不能省括号 逻辑代数的基本定律和恒等式 逻辑代数的基本定律和恒等式 逻辑代数基本定律和恒等式的证明 多项式摩根定律的证明 A+B+C = AB + C = ABC A B C = （A+B）C = A+B+C 依次类推，可以证明摩根定律对于任意项都成立 逻辑代数基本定律和恒等式的证明 逻辑代数的基本规则 代入规则 反演规则 对偶规则 代入规则 在任何一个逻辑等式中，如果将等式两边出现的某变量都用一个函数代替，则等式依然成立 反演规则 将逻辑函数L中的与换成或，或换成与；再将原变量变换为非变量；并将1换成0，0换成1；那么所得的逻辑函数式就是非函数L 反演规则 须注意两点： 保持原来的运算顺序，即仍需遵守原式“先括号、然后乘、最后加的运算顺序。 对于反变量以外的非号应保留不变，即不属于单个变量上的反号应保留不变。 反演规则 例求L= A + B C + D + E 的非函数 L 反演规则 对偶规则 把L中的与换成或，或换成与，1换成0，0换成1，那么就得到L的对偶式L’ 当某个逻辑恒等式成立时，则其对偶式也成立 对偶规则 证明对偶规则 设F,G为两个逻辑函数，并有F=G 对等式F=G两边分别求反，我们有： 根据反演规则， 在 和 中，原函数中的原变量已改为反变量，反变量改为了原变量；同时“与”换成了“或”，“或”换成了“与”，1换成了0，0换成了1。 利用代入规则：对 ， 中的新变量再以它们的反变量代入（实际上恢复原F,G中的变量），得到F’，G’，并且F’ = G’ 对偶规则证明举例 A+AB = A+B 2.2 逻辑函数化简 逻辑函数的变换 ? 由以上例子可知，对于一个特定的逻辑问题，其真值表是唯一的，而逻辑表达式可以有多种形式，实现其功能的电路也是多种多样。? 若两个逻辑函数相等，F=G。则它们应有相同的真值表；反过来，若F和G的真值表相同，则必有F=G。 在相等的意义下，逻辑表达式和实现电路可以是多种多样，但逻辑功能完全相同。 逻辑函数的变换 逻辑函数的变换 逻辑函数的代数化简法 逻辑函数的形式 逻辑函数的形式 逻辑函数的化简 代数法化简逻辑函数——并项法 代数法化简逻辑函数－吸收法 代数法化简逻辑函数－消去法 代数法化简逻辑函数－消项法 代数法化简逻辑函数－配项法 代数法化简逻辑函数 习题 2.1.3 2.1.4 2.1.7 2.1.8 2.3 卡诺图 最小项 在n变量逻辑函数中，若m为包含n个因子的乘积项，n变量均以原变量或反变量形式在m中出现一次，且仅出现一次，则称m为该组变量的最小项 n变量逻辑函数的最小项共2n个 最小项只有一种情况才能使得它的逻辑值为1 最小项举例 由A,B,C三个变量组成的最小项有8个： AB, AC,BC等虽然更简单，但却不是最小项，因为不是所有的项都出现了。同样ABCB，也不是最小项。 3变量最小项真值表(P46 表2.2.1) 最小项的性质 对于任意一个最小项，只有一组变量取值使得它的值为1，而在变量取其他各组值时，该最小项的值都是0 不同的最小项，使它的值为1的那一组变量取值也不同 对于变量的任意组取值，任意两个最小项的乘积为0 对于变量的任一组取值，全体最小项之和为1 具有相邻性的两个最小项之和可以合并成一项并消去一个因子 若两个最小项仅有一个因子不同，则称此两个最小项具有相邻性：例： 最小项的编号 逻辑函数的最小项表达式 卡诺图 二变量卡诺图 三变量卡诺图 四变量卡诺图 卡诺图的特点 用卡诺图表示逻辑函数 用卡诺图表示逻辑函数 用卡诺图化简逻辑函数 卡诺图化简的步骤 用卡诺图化简逻辑函数 卡诺图化简的原则 用卡诺图化简逻辑函数 用卡诺图化简逻辑函数 用卡诺图化简逻辑函数 卡诺图 包0法原理(1) 依据： 包1法化简成立 反演法则 卡诺图 包0法原理(2) L的卡诺图 卡诺图的多种拓扑 具有无关项（任意项和约束项）的卡诺图化简 任意项 对应于变量的某些取值下，函数值可以是任意的，并不影响电路的功能 任意项 约束项 无关项或任意项、约束项 无关项在化简逻辑函数中的应用