Let P and Q be statements, then P<->Q is logically equivalent to __________
(a) P<->~Q
(b) ~P<->Q
(c) ~P<->~Q
(d) None of the mentioned
I have been asked this question during an interview for a job.
The query is from Logics topic in chapter The Foundation: Logics and Proofs of Discrete Mathematics