Exkluzivní disjunkce

V logice, exkluzivní disjunkce je logický operátor. Exkluzivní disjunkce problémů a B je obvykle nazvaný xor B, kde “xor” kandiduje na”exkluzivní nebo” a je vyslovován “ex-nebo”.

Operace přinese výsledek pravdivý když jeden, a jediný, jeho operands je pravdivý.

Pro dva vstupy a B, pravdivostní tabulka funkce je takto.

B | xor B -- -- + -- -- -- -- F F | F F T | T T F | T T T | F

To může být odvozeno od tohoto předložit to

( xor B) = ( a ne B) nebo (ne a B) = ( nebo B) a (ne nebo ne B) = ( nebo B) a ne ( a B)

Matematický symbol pro exkluzivní disjunkci se liší v literatuře. V dodatek ke zkratce “xor”, jeden může vidět

kladné znaménko (“+”) nebo kladné znaménko, které je přizpůsobilo nějakým způsobem, takový jak bytí zavřelo kruh (“a oplus;”); toto je používáno, protože exkluzivní disjunkce odpovídá sčítání modulo 2 jestliže F = 0 a T = 1.
vee, který je přizpůsobil nějakým způsobem, takový jak být podtrhnut (#rquotea nebo;#rquote); toto je používáno, protože exkluzivní disjunkce je modifikace obyčejný (zahrnující) disjunkce, který je typicky označil vee.
stříška (“^”), jak v C programovací jazyk

Podobně, různé textové zápisy jsou používány, včetně “EOR” (se stejnou expanzí jak “xor”) a “orr” (napodoboval iff, který to je zápor).

Binární hodnoty xor'ed sám jsou vždy nula. V některých architekturách počítače, to je rychlejší uložit nulu v registru xor'ing hodnota se sebou místo toho, aby načetl a uložil nulu hodnoty. Tak, na některých architekturách počítače, xor'ing hodnoty s sebou je obyčejný optimalizace.

Xor operace je někdy používána jako jednoduchá mísící se funkce v kryptografii, například, s bývalou vycpávkou nebo Feistel síťovými systémy.

Vidět také: Symmetric rozdíl, nebo, a, Xor výměnový algoritmus, Xor provázaný seznam