布尔运算联合修剪