Qual é a negação lógica de uma disjunção exclusiva entre p e q?

\(\neg(p\veebar q)=p\leftrightarrow q\)

Explicação:
Negar "exatamente uma verdadeira" equivale a dizer "ou ambas são verdadeiras, ou ambas são falsas", isso é a bicondicional \(p\leftrightarrow q\).

Exemplo:
Seja p: lâmpada está acesa, q: ventilador está ligado.
Casos: p=V, q=V → \(\neg(p\veebar q)=V\); p=F, q=F → V; p=V, q=F → F; p=F, q=V → F.