Quando a disjunção exclusiva p ⊕ q é verdadeira?

Quando exatamente uma das proposições é verdadeira.

Notação: \(p \oplus q\).
Equivalência lógica: \(p \oplus q \equiv (p \vee q)\land \neg(p \land q)\).

Exemplo:
Suponha um alarme que dispara se a janela ou a porta estiver aberta, mas não se ambas estiverem abertas ao mesmo tempo.

Janela aberta (p)	Porta aberta (q)	Alarme (p ⊕ q)
V	V	F
V	F	V
F	V	V
F	F	F