Exclusivo o


La disyunción exclusiva o exclusiva es una operación lógica que es verdadera si y solo si sus argumentos difieren (uno es verdadero, el otro es falso). [1]

Está simbolizado por el operador prefijo J [2] y por los operadores infijos XOR ( / ˌ ɛ k s ˈ ɔːr / o / ˈ z ɔːr / ), EOR , EXOR , , , , , y . La negación de XOR es el bicondicional lógico , que da como resultado verdadero si y solo si las dos entradas son iguales.

Obtiene el nombre "exclusivo o" porque el significado de "o" es ambiguo cuando ambos operandos son verdaderos; el operador exclusivo u excluye ese caso. Esto a veces se considera "uno o el otro, pero no ambos". Esto podría escribirse como "A o B, pero no como A y B".

Dado que es asociativo, se puede considerar que es un operador n -ario que es verdadero si y solo si un número impar de argumentos son verdaderos. Es decir, a XOR b XOR ... se puede tratar como XOR ( a , b , ...).

La disyunción exclusiva significa esencialmente "uno, pero no ambos ni ninguno". En otras palabras, el enunciado es verdadero si y solo si uno es verdadero y el otro es falso. Por ejemplo, si dos caballos están compitiendo, uno de los dos ganará la carrera, pero no ambos. La disyunción exclusiva , también denotada por ? o , se puede expresar en términos de la conjunción lógica ("lógica y", ), la disyunción ("lógica o", ) y la negación ( ) de la siguiente manera:

La disyunción exclusiva también se puede expresar de la siguiente manera:


Diagrama de Venn de
Argumentos de la izquierda combinados por XOR. Esta es una matriz de Walsh binaria (cf. código Hadamard ).
Representación simbólica tradicional de una puerta lógica XOR
La suma de números es la exclusiva o de enteros no negativos en representación binaria . Esta es también la suma de vectores en .