2.3 逻辑类型与关系运算