Exkluzivní disjunkce
Z Wikipedie, otevřené encyklopedie
Exkluzivní disjunkce (někdy též nonekvivalence, exkluzivní OR či zkratkou XOR) je logická operace, jejíž hodnota je pravda, pravě když se vstupní hodnoty liší.
[editovat] Definice
V logice a matematice je exkluzivní disjunkce označením pro „buď …, anebo …“. Například „Počítač je buď zapnutý anebo vypnutý.“ je exkluzivní disjunkce.
Pro vstupy A a B vypadá pravdivostní tabulka exkluzivní disjunkce následovně (0 označuje nepravdivé tvrzení, 1 označuje pravdivé tvrzení).
| B | A | A ⊕ B |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 0 |
