Vylučujúce alebo

Vennov diagram
buď p alebo q (p XOR q)

Vylučujúce alebo (iné názvy: vylučujúca disjunkcia, exkluzívna disjunkcia, alternatíva, buď... alebo..., v informatike aj XOR (z Šablóna:V jazyku), nonekvivalencia, antivalencia) je binárna logická operácia. Pravdivostná hodnota je 1 práve vtedy, keď majú obidva argumenty rôzne hodnoty.

Pravdivostná tabuľka

Pravdivostná tabuľka operácie p XOR q (zapisuje sa aj ako buď p alebo q, p + q, p $\oplus$ q, alebo p ≠ q) je nasledovná:

p	q	p $\equiv ̸$ 1
1	1	0
1	0	1
0	1	1
0	0	0