(2)用真值表证明,即检验等式两边函数的真 值表是否一致。 例:反演定理A·B=A+B A+B=A.B B ABA·BA B A+B A0011 0 0 000 0 00 0 0（1-16） 例: 反演定理 A B A B A B A B + = • • = + A B AB 0 0 0 1 1 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 A•B A B A+ B （2）用真值表证明，即检验等式两边函数的真 值表是否一致