Let P and Q be two propositions, ¬ (P ↔ Q) is equivalent to :
Show answerHide answer
Correct answer: (A) P ↔ ¬Q
Explanation
P ↔ Q = P'Q' + PQ, so ¬(P ↔ Q) = P'Q + PQ', which is true exactly when P and Q differ. This is the same as P ↔ ¬Q (and ¬P ↔ Q).