Искључива дисјункција

Венов дијаграм за $A\oplus B$ али није

Венов дијаграм за $A\oplus B\oplus C$ $\oplus$ $\iff$

Логички оператор искључива дисјункција, такође позната као искључиво ИЛИ, ексклузивна дисјункција и обележавана као ЕКСИЛИ (енг. XOR) или ⊕, је врста логичке дисјункције над два операнда, чији је резултат тачан само ако један од исказа има вредност тачан.

Другачије речено, искључива дисјункција је логичка операција над две логичке вредности, који даје вредност тачан само у случајевима када се вредности операнда разликују.

Табела истинитости

Табела истинитости за $A\oplus B$ (такође се пише као $A\mathrm{X}\mathrm{O}\mathrm{R}B$ или $A\ne B$) је следећа:

УЛАЗ		ИЗЛАЗ
-{A}-	-{B}-	-{A}- ЕКСИЛИ -{B}-
0	0	0
0	1	1
1	0	1
1	1	0

Еквиваленти, елиминација и увођење

Следећи еквиваленти могу бити изведени, написани са логичким операторима, у математичкој и инжењерској нотацији:

$\begin{array}{ccccccc}p\oplus q& =& (p\wedge \mathrm{\neg }q)& \vee & (\mathrm{\neg }p\wedge q)& =& p\bar{q}+\bar{p}q\\ \\ & =& (p\vee q)& \wedge & (\mathrm{\neg }p\vee \mathrm{\neg }q)& =& (p+q)(\bar{p}+\bar{q})\\ \\ & =& (p\vee q)& \wedge & \mathrm{\neg }(p\wedge q)& =& (p+q)(\overline{pq})\end{array}$

Искључива дисјункција $p\oplus q$ може да се изрази као логичка конјункција ($\wedge$), дисјункција ($\vee$) и негација ($\mathrm{\neg }$) на следећи начин:

$\begin{array}{ccc}p\oplus q& =& (p\wedge \mathrm{\neg }q)\vee (\mathrm{\neg }p\wedge q)\end{array}$

Искључива дисјункција $p\oplus q$, такође, може да се изрази на следећи начин:

$\begin{array}{ccc}p\oplus q& =& \mathrm{\neg }(p\wedge q)\wedge (p\vee q)\end{array}$

Понекад је корисно да се $p\oplus q$ пише на следећи начин:

$\begin{array}{ccc}p\oplus q& =& \mathrm{\neg }((p\wedge q)\vee (\mathrm{\neg }p\wedge \mathrm{\neg }q))\end{array}$

Алтернативни симболи

Симболи за искључиву дисјункцију зависе од његове употребе, и од својства који су истакнути у датом контексту. Поред скраћенице ЕКСИЛИ, било који од следећих симбола се могу користити:

• Знак плус ($+$). У математици, искључива дисјункција одговара сабирању по модилу 2, која има следећу табелу сабирања:

Сабирање по модулу 2

$p$	$q$	$p+q$
0	0	0
0	1	1
1	0	1
1	1	0

• Употреба знака плус има додатну предност у томе што се алгебраска својства математичког прстена и поља могу користити без додатних потешкоћи.

• Заокружен знак плус ($\oplus$).

• Симбол укључива дисјункција ($\vee$), промењена на неки начин, као што је подвучено ($\underset{\_}{\vee }$) и са тачком изнад ($\dot{\vee }$).

Својства

Овај одељак користи следеће симболе:

$\begin{array}{ccc}0& =& \text{false}\\ 1& =& \text{true}\\ \mathrm{\neg }p& =& \text{not}p\\ p+q& =& p\text{xor}q\\ p\wedge q& =& p\text{and}q\\ p\vee q& =& p\text{or}q\end{array}$

Следеће једначине следе из логичке аксиоме:

$\begin{array}{ccc}p+0& =& p\\ p+1& =& \mathrm{\neg }p\\ p+p& =& 0\\ p+\mathrm{\neg }p& =& 1\\ \\ p+q& =& q+p\\ p+q+p& =& q\\ p+(q+r)& =& (p+q)+r\\ p+q& =& \mathrm{\neg }p+\mathrm{\neg }q\\ \mathrm{\neg }(p+q)& =& \mathrm{\neg }p+q& =& p+\mathrm{\neg }q\\ \\ p+(\mathrm{\neg }p\wedge q)& =& p\vee q\\ p+(p\wedge \mathrm{\neg }q)& =& p\wedge q\\ p+(p\vee q)& =& \mathrm{\neg }p\wedge q\\ \mathrm{\neg }p+(p\vee \mathrm{\neg }q)& =& p\vee q\\ p\wedge (p+\mathrm{\neg }q)& =& p\wedge q\\ p\vee (p+q)& =& p\vee q\end{array}$

Асоцијативност и комутативности

Са изоморфизмичке тачке гледишта између сабирања по модула 2 и искључиве дисјункције, јасно је да је ЕКСИЛИ и асоцијативна и комутативна операција. Тако се заграда може изоставити у узастопним операцијама не правећи разлику у резултату. На пример, имамо следеће једначине:

$\begin{array}{ccc}p+q& =& q+p\\ \\ (p+q)+r& =& p+(q+r)& =& p+q+r\end{array}$

Рачунарство

Оператори над битовима

ЕКСИЛИ логичка капија

Искључива дисјункција се често користи у операторима над битовима. Примери:

• 1 ексили 1 = 0
• 1 ексили 0 = 1
• 0 ексили 0 = 0
• 1110 ексили 1001 = 0111