布尔域 布尔域 B 是一般的 元素集合比如 B   它的元素被解释为逻辑值典型的   假而   真 布尔变量 x 是从布尔域取值的变量比如 x  B