数字电子电路与逻辑 刘可文主编 第三章 逻辑代数基础 答案.doc

------------------------------------------------------------------------------------------------ —————————————————————————————————————— 数字电子电路与逻辑 刘可文主编 第三章 逻辑代数基础 答案 习 题3 题3.1写出下述逻辑表达的真值表。 （1）L=??B?C， （2）L=C?A?BC， （3）L= A??C?B， （4）L=AC?AC?B， （5）L= A?， （6）L=CD?AC?B （7）L= AB??， （8）L= AC?AC， （9）L= ??， （10）L= C?B?B。 解：各个小题所对应的逻辑表达式的真值表如表3.1（1）、（2）、（3）、（4）、（5）、（6）、 （7）、（8）、（9）、（10）所示。 表3.1 (2) L=?A?BC的真值表 表3.1 (7) L= 表3.1 (9) L= 表3.1 (8) L= AB??的真值表 AC?C的真值表 表3.1 (10) L= AC?BC?AB的真值表 （1）A⊙0=， （2）A?0=A， （3）A⊙1=A ， （4），A?1?A （5）A?A?0， （6）A??1， （7）A⊙A=1， （8）A=0， （9）(A?B)?C?B?(A?C)?C?(B?A)， （10）(A?B)C?(AC)?(BC)， （11）A⊙(B⊙C)= B⊙(A⊙C) ， （12）+(B⊙C)＝(AB⊙AC)。 解：题3.2（1～12）的各个等式的真值表如表3.2（1）、（2）、（3）、（4）、（5）、（6）、（7 ）、（8）、（9）、（10）、（11）、（12）所示。 从表3.2（1）、（2）、（3）、（4）、（5）、（6）、（ 7）、（8）、（9）、（10）、（11）、（12）所示真值表的对应关系，可以证明命题各式成立。 表3.2 （1）真值表 表3.2 （3）真值表 表3.2 （2）真值表 表3.2 （4）真值表 表3.2 （5）真值表 表3.2 （6）真值表 表3.2 (9) L=的真值表 表3.2 (10) L=的真值表 表3.2 (11) L=的真值表 表3.2 (12) L=的真值表 题3.3逻辑式A⊕B⊕C的对偶式是。 （1）A?B?C， （2 解：根据对偶式的定义，A⊕B⊕C的对偶表达式为 [(A?B)?C][A?B?C]?(A?B)C?A?B?C =(A⊕B)⊙C，将(A⊕B)看成一个变量，并利用同或是异或的反函数概念，可知A⊕B⊕C的对偶式是A?B?C。 题3.4证明下述逻辑恒等式。 （1）A?A?B??A， （2）AC?BC?A??A?B?C?A??C?， （3）A⊕B⊕AB=A+B， （4）A（B⊕C??=（AB）⊕(AC)， （5）A⊙B⊙（A+B）=AB， （6）A+（B⊙C）=（A+B）⊙（A+C）， （7）A⊕B⊕C＝A⊙B⊙C， （8）B?＝B， （9）B⊕AB⊕BC⊕ABC=B?1?A?，（10）B⊕BC=B。 解：（1）等式的左边化简：A?A?B??A(A?B)?A,所以等式成立。 （2）?A?B?C?A?B?C??AB?AC?AB?BC?AC?BC，其中 AC?AB的冗余项为BC，AC?BC的冗余项为AB，AB?BC的冗余项为AC， 将这些冗余项省去，得到?C?A?C?A?B＝C?A?B，所以等式成立。 （3）A⊕B⊕AB＝(A?B)AB?A?BAB ?(AB?AB)(A?B)?(AB?AB)AB ?(?B)?AB?A?B=A+B，所以等式成立。 （4）（AB）⊕(AC）＝AB(?)?(?)AC??AC?A(B?C)， 所以A（B⊕C）=（AB）⊕(AC）。 （5）A⊙B⊙（A+B）=(AB?)(A?B)?(A?B)??AB，等式成