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 ang. exclusive or), nonekvivalencia, antivalencia) je binárna logická operácia. Pravdivostná hodnota je 1 práve vtedy, keď nemajú obidve argumenty rovnakú hodnotu.

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	$\not\equiv$
1	1	0
1	0	1
0	1	1
0	0	0