logical-operators - 将命题逻辑中的解析规则用于异或表达式

Question

应用于两个命题符号 P 和 Q 的 XOR 运算可以定义为(P or Q) and (Not(P) or Not(Q)) 但是通过使用解析规则，(P or Q) and (Not(P) or Not(Q))将导致(Q or Not(Q))，这总是正确的。我知道这是不正确的，但我不知道我在这个逻辑推理中哪里出错了。