4.1 布尔逻辑