基本逻辑运算 其他逻辑运算 变量的证明可以代入常数来进行运算，在逻辑运算中，变量的取值不是0就是1