布尔运算算法