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: