Exkluzivní disjunkce

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í).