¬ (p ↔ q) is logically equivalent to ________
(a) p ↔ ¬q
(b) ¬p ↔ q
(c) ¬p ↔ ¬q
(d) ¬q ↔ ¬p
I had been asked this question by my college professor while I was bunking the class.
This interesting question is from Logics in chapter The Foundation: Logics and Proofs of Discrete Mathematics