单选题
【正确答案】 D
【答案解析】数学逻辑推导，或维恩图验证，或者代入数值计算，原始A、B 相同时为真，不同时为假。