Qual é a negação lógica de p ↔ q?

A negação de \(p \leftrightarrow q\) é a disjunção exclusiva, equivalente a \((p \land \neg q)\lor(\neg p \land q)\).

Em palavras, exatamente uma das proposições é verdadeira.