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

С Википедије, слободне енциклопедије
Иди на навигацију Иди на претрагу
Venn0110.svg
Венов дијаграм за

OR али AND није XOR

Venn 0110 1001.svg
Венов дијаграм за

Venn 0110 0110.svg Venn 0000 1111.svg Venn 0110 1001.svg

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

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

Табела истинитости[уреди | уреди извор]

Табела истинитости за (такође се пише као или ) је следећа:

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

Еквиваленти, елиминација и увођење[уреди | уреди извор]

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

Искључива дисјункција може да се изрази као логичка конјункција (), дисјункција () и негација () на следећи начин:

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

Понекад је корисно да се пише на следећи начин:

Алтернативни симболи[уреди | уреди извор]

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

  • Знак плус (). У математици, искључива дисјункција одговара сабирању по модилу 2, која има следећу табелу сабирања:
Сабирање по модулу 2
0 0 0
0 1 1
1 0 1
1 1 0
  • Употреба знака плус има додатну предност у томе што се алгебраска својства математичког прстена и поља могу користити без додатних потешкоћи.
  • Заокружен знак плус ().
  • Симбол укључива дисјункција (), промењена на неки начин, као што је подвучено () и са тачком изнад ().

Својства[уреди | уреди извор]

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

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

Асоцијативност и комутативности[уреди | уреди извор]

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

Рачунарство[уреди | уреди извор]

Оператори над битовима[уреди | уреди извор]

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

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