逻辑“非”的几何解释是：包含A不包含B的部分，即面积A去掉包含B的部分，检索范围（）