布尔函数定义