思考一下：
以上定律的正确性是否可以用 真值表证明？该怎么证明呢？
1 几种基本定律
双重否定为肯定
2 几种常用公式
证明：
2 几种常用公式
证明：
2 几种常用公式
证明：分Biblioteka 率2 几种常用公式证明：
添项法
反演定理 吸收法 消去法
如果使用非号，可将与门和或门进行转换
两个乘积项中，如果一个乘积项的反函数 是另一个乘积项的因子，则这个因子是多 余的，可以消掉。
如果一个与或表达式的两个乘积项中，一 项含原变量，另一项含反变量，而这两个 乘积项的其他因子是第三个乘积项的因子， 则第三个乘积项是多余的，可以消去。
逻辑代数的基本定律
1
几种基本定律
2
几种常用公式
1 几种基本定律
1 几种基本定律
1 几种基本定律
1 几种基本定律
1 几种基本定律
A B AA+BB AB+B 00 00 11 11 00 11 01 01 11 00 01 01 11 11 00 00
只要使用非号，就可以实现与门和或门之间的转换