与 或 非 的复合运算法则的证明?(A或B)与c=(A与c)或(B与c) 这个公式的证明?

问题描述:

与 或 非 的复合运算法则的证明?
(A或B)与c=(A与c)或(B与c) 这个公式的证明?

证明方法1,列真值表.不知道你学过否
一共000 001 010 011 100 101 110 111共8种情况,0=假,1=真
反正算到最后二者相等.
证明方法3,同2,假设存在一个x属于左边,且不属于右边
结论矛盾,所以不存在x属于左边且不属于右边