- Disyunción exclusiva
-
Diagrama de Venn para
Diagrama de Venn para
El operador lógico Disyunción exclusiva también llamado o exclusivo, simbolizado como XOR, EOR, EXOR, ⊻ o ⊕ es un tipo de disyunción lógica de dos operandos que es verdad si solo un operando es verdad pero no ambos.==
Equivalencias, simplificación, e introducción
La disyunción exclusiva
puede ser expresada en términos de conjunción lógica (
), disyunción lógica (
), y negación (
) de la siguiente manera:
La disyunción exclusiva
puede ser expresada de la siguiente manera:
Esta representación del XOR puede resultar útil en la construcción de un circuito o una red, ya que sólo tiene un operador
y un número reducido de operadores
y
. La prueba de esta identidad es la siguiente:
A veces es útil escribirde las siguientes formas:
Esta equivalencia se puede establecer mediante la aplicación de las Leyes de De Morgan dos veces para la cuarta línea de la prueba anterior.
Véase también
Wikimedia foundation. 2010.