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