布尔型怎么定义