三种布尔运算