220px|A⊕B Diagrama de Venn per 35px|OR 35px|AND 35px|XOR 220px|Diagrama de Venn per a A⊕B⊕C Diagrama de Venn per a 40px|A⊕B 40px|C 40px|Diagrama de Venn per a A⊕B⊕C
L'operador lògic disjunció exclusiva, també anomenat o exclusiva, simbolitzat com XOR, EOR, EXOR, o és un tipus de disjunció lògica de dos operands que és veritat si només un operand és veritat però no ambdós.Vegeu Stanford Encyclopedia of Philosophy, article Disjunction
Equivalències, simplificació, i introducció La disjunció exclusiva es pot expressar en termes de conjunció lògica (), disjunció lògica (), i negació () de la següent manera:
La disjunció exclusiva pot ser expressada de la següent manera:
Aquesta representació del XOR pot ser útil en la construcció d'un circuit o una xarxa, ja que només té un operador i un nombre reduït d'operadors i . La prova d'aquesta identitat és la següent:
De vegades és útil escriure de les següents formes:
Aquesta equivalència es pot establir mitjançant l'aplicació de les Lleis de De Morgan dues vegades per la quarta línia de la prova anterior.
Referències
Vegeu també Àlgebra booleana Porta lògica Disjunció lògica Conjunció lògica Operador a nivell de bits Funció booleana Lògica proposicional Modus tollendo ponens Lògica de primer ordre Valor de veritat Operació matemàtica Bit de paritat
Categoria:Lògica