布尔函数的性质