Isključiva disjunkcija
Venov dijagram za |
Venov dijagram za |
Logički operator isključiva disjunkcija, takođe poznata kao isključivo ILI, ekskluzivna disjunkcija i obeležavana kao EKSILI (eng. XOR) ili ⊕, je vrsta logičke disjunkcije nad dva operanda, čiji je rezultat tačan samo ako jedan od iskaza ima vrednost tačan.
Drugačije rečeno, isključiva disjunkcija je logička operacija nad dve logičke vrednosti, koji daje vrednost tačan samo u slučajevima kada se vrednosti operanda razlikuju.
Tabela istinitosti
urediTabela istinitosti za (takođe se piše kao ili ) je sledeća:
ULAZ | IZLAZ | |
A | B | A EKSILI B |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
Ekvivalenti, eliminacija i uvođenje
urediSledeći ekvivalenti mogu biti izvedeni, napisani sa logičkim operatorima, u matematičkoj i inženjerskoj notaciji:
Isključiva disjunkcija može da se izrazi kao logička konjunkcija ( ), disjunkcija ( ) i negacija ( ) na sledeći način:
Isključiva disjunkcija , takođe, može da se izrazi na sledeći način:
Ponekad je korisno da se piše na sledeći način:
Alternativni simboli
urediSimboli za isključivu disjunkciju zavise od njegove upotrebe, i od svojstva koji su istaknuti u datom kontekstu. Pored skraćenice EKSILI, bilo koji od sledećih simbola se mogu koristiti:
- Znak plus ( ). U matematici, isključiva disjunkcija odgovara sabiranju po modilu 2, koja ima sledeću tabelu sabiranja:
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 0 |
- Upotreba znaka plus ima dodatnu prednost u tome što se algebraska svojstva matematičkog prstena i polja mogu koristiti bez dodatnih poteškoći.
- Zaokružen znak plus ( ).
- Simbol uključiva disjunkcija ( ), promenjena na neki način, kao što je podvučeno ( ) i sa tačkom iznad ( ).
Svojstva
urediOvaj odeljak koristi sledeće simbole:
Sledeće jednačine slede iz logičke aksiome:
Asocijativnost i komutativnosti
urediSa izomorfizmičke tačke gledišta između sabiranja po modula 2 i isključive disjunkcije, jasno je da je EKSILI i asocijativna i komutativna operacija. Tako se zagrada može izostaviti u uzastopnim operacijama ne praveći razliku u rezultatu. Na primer, imamo sledeće jednačine:
Računarstvo
urediOperatori nad bitovima
urediIsključiva disjunkcija se često koristi u operatorima nad bitovima. Primeri:
- 1 eksili 1 = 0
- 1 eksili 0 = 1
- 0 eksili 0 = 0
- 1110 eksili 1001 = 0111