基本逻辑运算
image.png
其他逻辑运算
image.png
运算公式
image.png
变量的证明可以代入常数来进行运算，在逻辑运算中，变量的取值不是0就是1
image.png
image.png
布尔代数的证明，一般就是列出真值表，对比相应公式的真值是否相同
image.png
image.png
image.png
image.png
image.png
