Exclusivo o

Verdadero cuando una de las entradas, pero no ambas, son verdaderas

Diagrama de Venn de ${\displaystyle A\oplus B\oplus C}$

La disyunción exclusiva , la disyunción exclusiva , la alternancia exclusiva , la no equivalencia lógica o la desigualdad lógica son operadores lógicos cuya negación es el bicondicional lógico . Con dos entradas, XOR es verdadero si y solo si las entradas difieren (una es verdadera, una es falsa). Con múltiples entradas, XOR es verdadero si y solo si el número de entradas verdaderas es impar . ^[1]

Recibe el nombre de "o exclusivo" porque el significado de "o" es ambiguo cuando ambos operandos son verdaderos. XOR excluye ese caso. Algunas formas informales de describir XOR son "uno o el otro pero no ambos", "uno o el otro" y "A o B, pero no A y B".

Se simboliza por el operador de prefijo ^{[2] : 16} y por los operadores infijos XOR ( / ˌ ɛ k s ˈ ɔː r / , / ˌ ɛ k s ˈ ɔː / , / ˈ k s ɔː r / o / ˈ k s ɔː / ), EOR , EXOR , , , , ⩛ , , , y . ${\displaystyle J}$ ${\displaystyle {\dot {\vee }}}$ ${\displaystyle {\overline {\vee }}}$ ${\displaystyle {\underline {\vee }}}$ ${\displaystyle \oplus }$ ${\displaystyle \nleftrightarrow }$ ${\displaystyle \not \equiv }$

Definición

Cada fila de esta matriz binaria de Walsh es la tabla de verdad de la operación XOR variádica de los argumentos que se muestran a la izquierda. Por ejemplo, la fila AB corresponde al diagrama de Venn de 2 círculos y la fila ABC al de 3 círculos que se muestra arriba. (Como en los diagramas de Venn, el blanco es falso y el rojo es verdadero).

La tabla de verdad de muestra que el resultado es verdadero siempre que las entradas difieran: ${\displaystyle A\oplus B}$

Equivalencias, eliminación e introducción

La disyunción exclusiva significa esencialmente "cualquiera de los dos, pero no ambos ni ninguno". En otras palabras, la afirmación es verdadera si y solo si una es verdadera y la otra es falsa. Por ejemplo, si dos caballos están corriendo, entonces uno de los dos ganará la carrera, pero no ambos. La disyunción exclusiva , también denotada por o , puede expresarse en términos de la conjunción lógica ("y lógico", ), la disyunción ("o lógico", ) y la negación ( ) de la siguiente manera: ${\displaystyle p\nleftrightarrow q}$ ${\displaystyle p\operatorname {?} q}$ ${\displaystyle Jpq}$ ${\displaystyle \wedge }$ ${\displaystyle \lor }$ ${\displaystyle \lnot }$

${\displaystyle {\begin{matrix}p\nleftrightarrow q&=&(p\lor q)\land \lnot (p\land q)\end{matrix}}}$

La disyunción exclusiva también se puede expresar de la siguiente manera: ${\displaystyle p\nleftrightarrow q}$

${\displaystyle {\begin{matrix}p\nleftrightarrow q&=&(p\land \lnot q)\lor (\lnot p\land q)\end{matrix}}}$

Esta representación de XOR puede resultar útil al construir un circuito o una red, ya que tiene una sola operación y un pequeño número de operaciones y . A continuación se ofrece una prueba de esta identidad: ${\displaystyle \lnot }$ ${\displaystyle \land }$ ${\displaystyle \lor }$

${\displaystyle {\begin{matrix}p\nleftrightarrow q&=&(p\land \lnot q)&\lor &(\lnot p\land q)\\[3pt]&=&((p\land \lnot q)\lor \lnot p)&\land &((p\land \lnot q)\lor q)\\[3pt]&=&((p\lor \lnot p)\land (\lnot q\lor \lnot p))&\land &((p\lor q)\land (\lnot q\lor q))\\[3pt]&=&(\lnot p\lor \lnot q)&\land &(p\lor q)\\[3pt]&=&\lnot (p\land q)&\land &(p\lor q)\end{matrix}}}$

A veces es útil escribir de la siguiente manera: ${\displaystyle p\nleftrightarrow q}$

${\displaystyle {\begin{matrix}p\nleftrightarrow q&=&\lnot ((p\land q)\lor (\lnot p\land \lnot q))\end{matrix}}}$

o:

${\displaystyle {\begin{matrix}p\nleftrightarrow q&=&(p\lor q)\land (\lnot p\lor \lnot q)\end{matrix}}}$

Esta equivalencia se puede establecer aplicando las leyes de De Morgan dos veces a la cuarta línea de la prueba anterior.

El o exclusivo también es equivalente a la negación de un bicondicional lógico , por las reglas de implicación material (un condicional material es equivalente a la disyunción de la negación de su antecedente y su consecuencia) y equivalencia material .

En resumen, tenemos, en notación matemática y de ingeniería:

${\displaystyle {\begin{matrix}p\nleftrightarrow q&=&(p\land \lnot q)&\lor &(\lnot p\land q)&=&p{\overline {q}}+{\overline {p}}q\\[3pt]&=&(p\lor q)&\land &(\lnot p\lor \lnot q)&=&(p+q)({\overline {p}}+{\overline {q}})\\[3pt]&=&(p\lor q)&\land &\lnot (p\land q)&=&(p+q)({\overline {pq}})\end{matrix}}}$

Negación del operador

Aplicando el espíritu de las leyes de De Morgan , obtenemos: $${\displaystyle \lnot (p\nleftrightarrow q)\Leftrightarrow \lnot p\nleftrightarrow q\Leftrightarrow p\nleftrightarrow \lnot q.}$$

Relación con el álgebra moderna

Aunque los operadores ( conjunción ) y ( disyunción ) son muy útiles en los sistemas lógicos, carecen de una estructura más generalizable de la siguiente manera: ${\displaystyle \wedge }$ ${\displaystyle \lor }$

Los sistemas y son monoides , pero ninguno es un grupo . Lamentablemente, esto impide la combinación de estos dos sistemas en estructuras más grandes, como un anillo matemático . ${\displaystyle (\{T,F\},\wedge )}$ ${\displaystyle (\{T,F\},\lor )}$

Sin embargo, el sistema que utiliza o exclusivo es un grupo abeliano . La combinación de operadores y sobre elementos produce el conocido campo de dos elementos . Este campo puede representar cualquier lógica obtenible con el sistema y tiene el beneficio adicional del arsenal de herramientas de análisis algebraico para campos. ${\displaystyle (\{T,F\},\oplus )}$ ${\displaystyle \wedge }$ ${\displaystyle \oplus }$ ${\displaystyle \{T,F\}}$ ${\displaystyle \mathbb {F} _{2}}$ ${\displaystyle (\land ,\lor )}$

Más específicamente, si uno asocia con 0 y con 1, se puede interpretar la operación lógica "AND" como multiplicación de y la operación "XOR" como suma de : ${\displaystyle F}$ ${\displaystyle T}$ ${\displaystyle \mathbb {F} _{2}}$ ${\displaystyle \mathbb {F} _{2}}$

${\displaystyle {\begin{matrix}r=p\land q&\Leftrightarrow &r=p\cdot q{\pmod {2}}\\[3pt]r=p\oplus q&\Leftrightarrow &r=p+q{\pmod {2}}\\\end{matrix}}}$

La descripción de una función booleana como un polinomio en , utilizando esta base, se denomina forma normal algebraica de la función . ^[3] ${\displaystyle \mathbb {F} _{2}}$

Exclusivo o en lenguaje natural

La disyunción suele entenderse exclusivamente en los lenguajes naturales . En inglés, la palabra disyuntiva "or" suele entenderse exclusivamente, en particular cuando se utiliza con la partícula "either". El ejemplo en inglés que se muestra a continuación normalmente se entendería en una conversación como una implicación de que Mary no es cantante y poeta. ^{[4] [5]}

1. María es cantante o poeta.

Sin embargo, la disyunción también puede entenderse de manera inclusiva, incluso en combinación con "either". Por ejemplo, el primer ejemplo que se muestra a continuación muestra que "either" puede usarse felizmente en combinación con una afirmación rotunda de que ambas disyunciones son verdaderas. El segundo ejemplo muestra que la inferencia exclusiva desaparece en contextos de implicación descendente . Si la disyunción se entendiera como exclusiva en este ejemplo, dejaría abierta la posibilidad de que algunas personas comieran tanto arroz como frijoles. ^[4]

2. María es cantante o poeta o ambas cosas.

3. Nadie comió ni arroz ni frijoles.

Ejemplos como el anterior han motivado análisis de la inferencia de exclusividad como implicaturas conversacionales pragmáticas calculadas sobre la base de una semántica inclusiva . Las implicaturas son típicamente cancelables y no surgen en contextos de implicación descendente si su cálculo depende de la Máxima de Cantidad . Sin embargo, algunos investigadores han tratado la exclusividad como una implicación semántica genuina y han propuesto lógicas no clásicas que la validarían. ^[4]

Este comportamiento del verbo "or" en inglés también se encuentra en otros idiomas. Sin embargo, muchos idiomas tienen construcciones disyuntivas que son rotundamente excluyentes, como el francés soit... soit . ^[4]

Símbolos alternativos

El símbolo utilizado para la disyunción exclusiva varía de un campo de aplicación a otro, e incluso depende de las propiedades que se enfatizan en un contexto de discusión determinado. Además de la abreviatura "XOR", también se puede ver cualquiera de los siguientes símbolos:

• ${\displaystyle +}$fue utilizado por George Boole en 1847. ^[6] Aunque Boole lo utilizó principalmente en clases, también consideró el caso de que sean proposiciones en , y en ese momento es un conectivo. Además, Boole lo utilizó exclusivamente. Aunque tal uso no muestra la relación entre la disyunción inclusiva (para la cual se usa casi fijamente hoy en día) y la disyunción exclusiva, y también puede provocar confusiones con sus otros usos, algunos libros de texto clásicos y modernos aún mantienen tal uso. ^{[7] [8]} ${\displaystyle +}$ ${\displaystyle x,y}$ ${\displaystyle x+y}$ ${\displaystyle +}$ ${\displaystyle \vee }$
• ${\displaystyle {\overline {\vee }}}$fue utilizado por Christine Ladd-Franklin en 1883. ^[9] Estrictamente hablando, Ladd solía expresar " no es " o "No es ", es decir, se utiliza como exclusiones, mientras que implícitamente tiene el significado de disyunción exclusiva ya que el artículo se titula como "Sobre el álgebra de la lógica". ${\displaystyle A\operatorname {\overline {\vee }} B}$ ${\displaystyle A}$ ${\displaystyle B}$ ${\displaystyle A}$ ${\displaystyle B}$ ${\displaystyle {\overline {\vee }}}$ ${\displaystyle {\overline {\vee }}}$
• ${\displaystyle \not =}$, que denota la negación de la equivalencia , fue utilizado por Ernst Schröder en 1890, ^{[10] : 307} Aunque el uso de como equivalencia podría remontarse a George Boole en 1847, ^[6] durante los 40 años posteriores a Boole, sus seguidores, como Charles Sanders Peirce , Hugh MacColl , Giuseppe Peano , etc., no utilizaron como no equivalencia literalmente, lo que posiblemente se deba a que podría definirse a partir de la negación y la equivalencia fácilmente. ${\displaystyle =}$ ${\displaystyle \not =}$
• ${\displaystyle \circ }$fue utilizado por Giuseppe Peano en 1894: " . El signo corresponde al latín aut ; el signo a vel ." ^{[11] : 10} Nótese que la palabra latina "aut" significa "o exclusivo" y "vel" significa "o inclusivo", y que Peano la utiliza como disyunción inclusiva. ${\displaystyle a\circ b=a-b\,\cup \,b-a}$ ${\displaystyle \circ }$ ${\displaystyle \cup }$ ${\displaystyle \cup }$
• ${\displaystyle \vee \vee }$fue utilizado por Izrail Solomonovich Gradshtein (Израиль Соломонович Градштейн) en 1936. ^{[12] : 76}
• ${\displaystyle \oplus }$fue utilizado por Claude Shannon en 1938. ^[13] Shannon tomó prestado el símbolo como disyunción exclusiva de Edward Vermilye Huntington en 1904. ^[14] Huntington tomó prestado el símbolo de Gottfried Wilhelm Leibniz en 1890 (la fecha original no se conoce con certeza, pero es casi seguro que está escrito después de 1685; y 1890 es el momento de publicación). ^[15] Mientras que tanto Huntington en 1904 como Leibniz en 1890 utilizaron el símbolo como una operación algebraica. Además, Huntington en 1904 utilizó el símbolo como disyunción inclusiva (suma lógica) también, y en 1933 lo utilizó como disyunción inclusiva. ^[16] ${\displaystyle +}$
• ${\displaystyle \not \equiv }$, que también denota la negación de la equivalencia , fue utilizado por Alonzo Church en 1944. ^[17]
• ${\displaystyle J}$(como operador de prefijo , ) fue utilizado por Józef Maria Bocheński en 1949. ^{[2] : 16} Alguien ^[18] puede confundirse pensando que es Jan Łukasiewicz quien es el primero en utilizar para la disyunción exclusiva (parece que el error se extiende ampliamente), mientras que ni en 1929 ^[19] ni en otras obras Łukasiewicz hizo tal uso. De hecho, en 1949 Bocheński introdujo un sistema de notación polaca que nombra los 16 conectivos binarios de la lógica clásica que es una extensión compatible de la notación de Łukasiewicz en 1929, y en la que para la disyunción exclusiva apareció por primera vez. El uso de Bocheński de como disyunción exclusiva no tiene relación con el "alternatywa rozłączna" polaco de "o exclusivo" y es un accidente para el que véase la tabla en la página 16 del libro en 1949. ${\displaystyle J\phi \psi }$ ${\displaystyle J}$ ${\displaystyle J}$ ${\displaystyle J}$
• ^, el símbolo de intercalación , se ha utilizado en varios lenguajes de programación para denotar el operador exclusivo bit a bit o , comenzando con C ^[20] y también incluyendo C++ , C# , D , Java , Perl , Ruby , PHP y Python .
• La diferencia simétrica de dos conjuntos y , que puede interpretarse como su o exclusivo de cada elemento, se ha denotado de diversas formas como , , o . ^[21] ${\displaystyle S}$ ${\displaystyle T}$ ${\displaystyle S\ominus T}$ ${\displaystyle S\mathop {\triangledown } T}$ ${\displaystyle S\mathop {\vartriangle } T}$

Propiedades

Conmutatividad : sí

Asociatividad : si

Distributividad :

La o exclusiva no distribuye sobre ninguna función binaria (ni siquiera sobre sí misma), pero la conjunción lógica distribuye sobre o exclusiva . (La conjunción y la o exclusiva forman las operaciones de multiplicación y adición de un cuerpo GF(2) , y como en todo cuerpo obedecen a la ley distributiva.) ${\displaystyle C\land (A\oplus B)=(C\land A)\oplus (C\land B)}$

Idempotencia : no

Monotonía : no

Preservación de la verdad: no

Cuando todas las entradas son verdaderas, la salida no es verdadera.

Preservación de la falsedad: sí

Cuando todas las entradas son falsas, la salida es falsa.

Espectro de Walsh : (2,0,0,−2)

No linealidad : 0

La función es lineal.

Involución:

Exclusiva o con una entrada especificada, en función de la otra entrada, es una función de involución o autoinversa; al aplicarla dos veces se deja la entrada variable sin cambios.

Si se utilizan valores binarios para verdadero (1) y falso (0), entonces el o exclusivo funciona exactamente como la suma módulo 2.

Ciencias de la Computación

Representación simbólica tradicional de una puerta lógica XOR

Operación bit a bit

La suma de números es la suma exclusiva de números enteros no negativos en representación binaria . También es la suma vectorial en . ${\displaystyle (\mathbb {Z} /2\mathbb {Z} )^{4}}$

La disyunción exclusiva se utiliza a menudo para operaciones bit a bit. Ejemplos:

• 1 XOR 1 = 0
• 1 XOR 0 = 1
• 0 XOR 1 = 1
• 0 XOR 0 = 0
• 1110 2 XOR 1001 2 = 0111 2 (esto es equivalente a la suma sin acarreo )

Como se señaló anteriormente, dado que la disyunción exclusiva es idéntica a la suma módulo 2, la disyunción exclusiva bit a bit de dos cadenas de n bits es idéntica al vector estándar de suma en el espacio vectorial . ${\displaystyle (\mathbb {Z} /2\mathbb {Z} )^{n}}$

En informática, la disyunción exclusiva tiene varios usos:

• Indica si dos bits son desiguales.
• Es un inversor de bits opcional (la entrada decisiva elige si invertir la entrada de datos).
• Indica si hay un número impar de bits 1 ( es verdadero si y solo si un número impar de variables es verdadero), que es igual al bit de paridad devuelto por una función de paridad . ${\displaystyle A\oplus B\oplus C\oplus D\oplus E}$

En circuitos lógicos, se puede hacer un sumador simple con una puerta XOR para sumar los números y una serie de puertas AND, OR y NOT para crear la salida de acarreo.

En algunas arquitecturas de computadoras, es más eficiente almacenar un cero en un registro mediante la operación XOR del registro consigo mismo (los bits operados mediante la operación XOR consigo mismos siempre son cero) que cargar y almacenar el valor cero.

En criptografía , XOR se utiliza a veces como una función de mezcla simple y autoinversa, como en los sistemas de libreta de un solo uso o de red Feistel . ^{[ cita requerida ]} XOR también se utiliza mucho en cifrados de bloque como AES (Rijndael) o Serpent y en la implementación de cifrados de bloque (CBC, CFB, OFB o CTR).

En redes neuronales artificiales simples activadas por umbral , modelar la función XOR requiere una segunda capa porque XOR no es una función linealmente separable .

De manera similar, XOR se puede utilizar para generar grupos de entropía para generadores de números aleatorios de hardware . La operación XOR preserva la aleatoriedad, lo que significa que un bit aleatorio sometido a XOR con un bit no aleatorio dará como resultado un bit aleatorio. Se pueden combinar múltiples fuentes de datos potencialmente aleatorios utilizando XOR, y se garantiza que la imprevisibilidad del resultado sea al menos tan buena como la de la mejor fuente individual. ^[22]

En RAID 3-6 se utiliza XOR para crear información de paridad. Por ejemplo, RAID puede "hacer una copia de seguridad" de los bytes 10011100 2 y 01101100 2 de dos (o más) discos duros mediante la operación XOR de los bytes mencionados, lo que da como resultado ( 11110000 2 ) y lo escribe en otro disco. Con este método, si se pierde alguno de los tres discos duros, el byte perdido se puede volver a crear mediante la operación XOR de bytes de los discos restantes. Por ejemplo, si se pierde el disco que contiene 01101100 2 , se puede realizar la operación XOR de 10011100 2 y 11110000 2 para recuperar el byte perdido. ^[23]

La operación XOR también se utiliza para detectar un desbordamiento en el resultado de una operación aritmética binaria con signo. Si el bit retenido más a la izquierda del resultado no es el mismo que el número infinito de dígitos a la izquierda, significa que se produjo un desbordamiento. La operación XOR de esos dos bits dará como resultado un "1" si hay un desbordamiento.

XOR se puede utilizar para intercambiar dos variables numéricas en computadoras, utilizando el algoritmo de intercambio XOR ; sin embargo, esto se considera más como una curiosidad y no se recomienda en la práctica.

Las listas enlazadas XOR aprovechan las propiedades XOR para ahorrar espacio y representar estructuras de datos de listas doblemente enlazadas .

En gráficos de computadora , los métodos de dibujo basados ​​en XOR se utilizan a menudo para gestionar elementos como cuadros delimitadores y cursores en sistemas sin canales alfa o planos superpuestos.

Codificaciones

También se le llama "flecha no izquierda-derecha" ( \nleftrightarrow) en el markdown basado en LaTeX ( ). Aparte de los códigos ASCII, el operador está codificado en U+22BB ⊻ XOR ( ⊻ ) y U+2295 ⊕ CIRCLED PLUS ( ⊕, ⊕ ), ambos en operadores matemáticos de bloque . ${\displaystyle \nleftrightarrow }$

Véase también

• Condicional material • (Paradoja)
• Afirmando una disyuntiva
• Anfibio
• Puerta NO controlada
• Silogismo disyuntivo
• Inclusivo o
• Involución
• Lista de temas de álgebra de Boole
• Gráfico lógico
• Valor lógico
• Cálculo proposicional
• Regla 90
• Cifrado XOR
• Puerta XOR
• Lista enlazada XOR

Notas

1. Germundsson, Roger; Weisstein, Eric. "XOR". MathWorld . Wolfram Research . Consultado el 17 de junio de 2015 .
2. Bocheński, JM (1949). Précis de logique mathématique (PDF) (en francés). Países Bajos: FG Kroonder, Bussum, Pays-Bas.Traducido como Bocheński, JM (1959). Un resumen de lógica matemática . Traducido por Bird, O. Dordrecht, Holanda: D. Reidel Publishing Company. doi :10.1007/978-94-017-0592-9. ISBN 978-90-481-8329-6.
3. Joux, Antoine (2009). "9.2: Formas normales algebraicas de funciones booleanas". Criptoanálisis algorítmico . CRC Press. pp. 285–286. ISBN 9781420070033.
4. Aloni, Maria (2016). "Disyunción". En Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy (edición de invierno de 2016). Metaphysics Research Lab, Stanford University . Consultado el 3 de septiembre de 2020 .
5. Jennings cita a numerosos autores que afirman que la palabra "o" tiene un sentido exclusivo. Véase el capítulo 3, "El primer mito de 'o'": Jennings, RE (1994). The Genealogy of Disjunction . Nueva York: Oxford University Press.
   
6. Boole, G. (1847). El análisis matemático de la lógica, un ensayo para el cálculo del razonamiento deductivo. Cambridge/Londres: Macmillan, Barclay y Macmillan/George Bell. pág. 17.
7. Enderton, H. (2001) [1972]. Introducción matemática a la lógica (2.ª ed.). San Diego, Nueva York, Boston, Londres, Toronto, Sídney y Tokio: A Harcourt Science and Technology Company. pág. 51.
8. Rautenberg, W. (2010) [2006]. Una introducción concisa a la lógica matemática (3.ª ed.). Nueva York, Dordrecht, Heidelberg y Londres: Springer. pág. 3.
9. Ladd, Christine (1883). "Sobre el álgebra de la lógica". En Peirce, CS (ed.). Estudios de lógica por miembros de la Universidad Johns Hopkins . Boston: Little, Brown & Company. págs. 17–71.
10. Schröder, E. (1890). Vorlesungen über die Algebra der Logik (Exakte Logik), Erster Band (en alemán). Leipzig: Druck und Verlag BG Teubner.Reimpreso por Thoemmes Press en 2000.
11. Peano, G. (1894). Notaciones de lógica matemática. Introducción al formulario de matemáticas . Turín: Fratelli Boccna. Reimpreso en Peano, G. (1958). Ópera Scelte, Volumen II. Roma: Edizioni Cremonese. págs. 123-176.
12. ГРАДШТЕЙН, И. С. (1959) [1936]. ПРЯМАЯ И ОБРАТНАЯ ТЕОРЕМЫ: ЭЛЕМЕНТЫ АЛГЕБРЫ ЛОГИКИ (en ruso) (3 ed.). МОСКВА: ГОСУДАРСТВЕННОЕ ИЗДАТЕЛЬСТВО ФИЗИКа-МАТЕМАТИЧЕСКОЙ РЫ.Traducido como Gradshtein, IS (1963). Teoremas directos y recíprocos: los elementos de la lógica simbólica . Traducido por Boddington, T. Oxford, Londres, Nueva York y París: Pergamon Press.
13. Shannon, CE (1938). "Un análisis simbólico de circuitos de conmutación y relés" (PDF) . Transacciones del Instituto Americano de Ingenieros Eléctricos . 57 (12): 713–723. doi :10.1109/T-AIEE.1938.5057767. hdl : 1721.1/11173 . S2CID  51638483.
14. Huntington, EV (1904). "Conjuntos de postulados independientes para el álgebra de la lógica". Transactions of the American Mathematical Society . 5 (3): 288–309. doi :10.1090/S0002-9947-1904-1500675-4.
15. Leibniz, GW (1890) [16??/17??]. Gerhardt, CI (ed.). Die philosophischen Schriften, Siebter Band (en alemán). Berlín: Weidmann. pag. 237 . Consultado el 7 de julio de 2023 .
16. Huntington, EV (1933). "Nuevos conjuntos de postulados independientes para el álgebra de la lógica, con especial referencia a los Principia Mathematica de Whitehead y Russell". Transactions of the American Mathematical Society . 35 (1): 274–304.
17. Church, A. (1996) [1944]. Introducción a la lógica matemática . Nueva Jersey: Princeton University Press. pág. 37.
18. Craig, Edward (1998). Enciclopedia de filosofía de Routledge, volumen 8. Taylor & Francis . pág. 496. ISBN 978-0-41507310-3.
19. Łukasiewicz, enero (1929). Elementy logiki matematycznej [ Elementos de lógica matemática ] (en polaco) (1 ed.). Varsovia, Polonia: Państwowe Wydawnictwo Naukowe .
20. Kernighan, Brian W. ; Ritchie, Dennis M. (1978). "2.9: Operadores lógicos bit a bit". El lenguaje de programación C . Prentice-Hall. págs. 44–46.
21. Weisstein, Eric W. "Diferencia simétrica". MathWorld .
22. Davies, Robert B (28 de febrero de 2002). «Exclusive OR (XOR) and hardware random number generators» (PDF) . Consultado el 28 de agosto de 2013 .
23. Nobel, Rickard (26 de julio de 2011). «Cómo funciona RAID 5 en realidad» . Consultado el 23 de marzo de 2017 .

Enlaces externos

• Todo sobre XOR
• Pruebas de propiedades XOR y aplicaciones de XOR, CS103: Fundamentos matemáticos de la informática, Universidad de Stanford