布尔运算减法怎么用公式计算