布尔模型,假设,约束条件,逻辑运算符,向量表示,逻辑表达式。