3.1 是非之间的逻辑组合