Αποκλειστική διάζευξη

Αποκλειστική διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές αν και μόνο αν ακριβώς ένας από τους όρους στους οποίους ενεργεί είναι αληθής.

Για να δηλώσουν αποκλειστική διάζευξη χρησιμοποιούνται τα σύμβολα XOR και $\oplus$. Η αποκλειστική διάζευξη μπορεί να γραφεί με χρήση μόνο των λογικών τελεστών σύζευξη (ή "ένωση" ή "λογική άθροιση") $\wedge$, διάζευξη $\lor$, και άρνηση $\neg$ ως εξής:

${\begin{matrix}p\oplus q&=&(p\land \lnot q)\lor (\lnot p\land q)\end{matrix}}$

Πίνακας αλήθειας

Παρακάτω δίνεται ο πίνακας αλήθειας της πρότασης $p\oplus q$.

p	q	⊕
Ψ	Ψ	Ψ
Ψ	Α	Α
Α	Ψ	Α
Α	Α	Ψ

(όπου Ψ=ψευδής, Α=αληθής)