德·摩根定律

非(P 且 Q) = (非 P) 或 (非 Q)

非(P 或 Q) = (非 P) 且 (非 Q)

真值表：

(A˄B)˅(¬A˄B)

=(ab)+(!ab)

=a*!a + ab + b!a +b*b

=0+ab+b!a+b

=ab+b!a+b

=b + b*!a(注意这里不能转换成a+b,b+!b*a才等于a+b)

=b1+b!a

=b*(1+!a)

=b*1

=b