第二章 逻辑代数基础 2.1本章习题类型与解题方法 这一章的习题从内容上可以分为四种类型:逻辑等式的证明逻辑函数不同 表示方法之间的转换、逻辑函数形式的变换和逻辑函数的化简。下面分别总结、 归纳一下这几种类型习题的解题方法并给出相应的例解。 一、逻辑等式的证明 解题方法和步骤: 方法一,分别列出等式两边逻辑式的真值表,若真值表完全相同,则等式成立 方法二,若能利用逻辑代数的公式和定理将等式两边化为完全相同的形式, 则等式成立 方法三,分别画出等式两边逻辑式的卡诺图,若卡诺图相同,则等式成立 方法四,用 Multisim的逻辑转换器将等式两边的逻辑式分别化简,若化简结 果相同,则等式成立。 【例2-1】试用列真值表的方法证明下面的等式 a'=aB 解:分别列出A⊕B和A⊕B的真值表,如表-1可见,a'与AB 的真值表完全相同,故等式成立。 表2-1例2-1的真值表 A B A B A A'⊕B 0 1 1 0 0 0 0 1 0 1 0 0 1