布尔运算的三种形式分别是