数字电路第二章题讲评.pptVIP

四、 逻辑函数化简 1、公式化简法 【题2.15】用逻辑代数的基本公式和常用公式将下列逻辑函数简化为与或形式。 （1）Y = AB’ + B + A’B; （3）Y = (AB’C)’ + (AB’)’; （5）Y = AB’ (A’CD + (AD+B’C’)’)(A’ + B); （7）Y = AC’ + ABC + ACD’+ CD; （9）Y = BC’ + ABC’E + B’(A’D’ + AD)’ + B(AD’ + A’D); 解： （1）Y = AB’ + B + A’B =AB’ + B= A+ B; （3）Y = (AB’C)’ + (AB’)’ = A + B’ + C’ + A’ + B = (A + A’) + (B + B’) + C’ = 1; （5）Y = AB’ (A’CD + (AD+B’C’)’)(A’ + B) = (AB’)(AB’)’(A’CD + (AD + B’C’)’) = 0; （7）Y = AC’ + ABC + ACD’+ CD = A(C’ + BC) + C(AD’+ D) = A(C’ + B) + C(A +D) = AC’ + AB + AC + CD = A(C + C’) + AB + CD = A+ CD; （9）Y = BC’ + ABC’E + B’(A’D’ + AD)’ + B(AD’ + A’D) = BC’ + B’(AD’ + A’D) + B(AD’ + A’D) = BC’ + (B’ + B)(AD’ + A’D) = BC’ + AD’ + A’D 【题2.20】写出图P2.20中的各逻辑函数式，并简化为最简与或式。 2、卡诺图化简法 【题2.18】用卡诺图化简法将下列函数化为最简与或形式。 【题2.22】将下列具有约束项的函逻辑数化为最简与或形式。 (2) ，给定约束条件为 (4) ，给定约束条件为 【题2.23】将下列具有无关项的逻辑函数化为最简的与或逻辑式。 第二章 1.1 本章习题类型和解题要点 本章的习题在内容上有四种主要类型： 逻辑等式的证明 逻辑函数不同表示方法之间的转换 逻辑函数形式的变换 逻辑函数的化简 一、 逻辑等式的证明 【题2.2】证明下列逻辑恒等式。 左边对偶式为： 右边对偶式为： 左右对偶式相等，根据对偶定理原等式成立。 2.4.3 对偶定理 　 对偶规则：对于任何一个逻辑表达式Y，如果将表达式中的所有“·”换成“＋”，“＋”换成“·”，“0”换成“1”，“1”换成“0”，而变量保持不变，则可得到的一个新逻辑式YD ，YD称为Y的对偶式。例如： 对偶定理：如果两个逻辑式相等，则它们的对偶式也相等。 证明两个逻辑式相等，也可以通过证明它们的对偶式相等来完成。 2.4.2 反演定理 　 对于任何一个逻辑表达式Y，如果将表达式中的所有“·”换成“＋”，“＋”换成“·”，“0”换成“1”，“1”换成“0”，原变量换成反变量，反变量换成原变量，那么所得到的结果就是Y’。这个规则称为反演定理。例如： 规则：1 ） 需遵守运算优先次序； 2） 不属于单个变量上的反号应保留不变。 二、 逻辑函数不同表示方法之间的转换 真值表→逻辑函数式 ①找出真值表中使逻辑函数Y＝1的那些输入变量的取值组合。 ②每组输入变量的取值组合对应一个乘积项，其中取值为1的写入原变量，取值为0的写入反变量。 ③将这些乘积项相加，即得Y的逻辑函数式。 1、真值表?逻辑函数式 逻辑函数式→真值表 将输入变量的所有组合状态逐一代入逻辑式求出函数值，列成表，即得真值表。 【题2.4】已知逻辑函数的真值表如表P2.4(a)、(b)所示，试写出对应的逻辑函数式。 2、逻辑函数式?逻辑图 逻辑函数式→逻辑图 用图形符号代替逻辑式中的运算符号，就可以画出逻辑图。 逻辑图→逻辑函数式： 从输入端到输出端逐级写出每个图形符号对应的逻辑式，可得逻辑函数式。 可在每个图形符号前做标注。 【题2.7】写出图（a）（b）所示电路的输出逻辑