Desigualdad Material

Diagrama de Venn de
Diagrama de Venn de

Nomenclatura
A B pero no ambos,
exclusivo

Lenguaje formal
Operador booleano
Operador de conjuntos

Puerta Lgica

Tabla de la Verdad

Disyuncin exclusiva
De Wikipedia, la enciclopedia libre
Saltar a: navegacin, bsqueda
El operador lgico Disyuncin exclusiva tambin llamado o exclusivo, simbolizado como XOR, EOR,
EXOR, o es un tipo de disyuncin lgica de dos operandos.

ndice
[ocultar]

1 Definicin y Propiedades

2 Demarcacin y equivalencias

3 Signfica y aplicaciones practicales

4 Equivalencias, simplificacin, e introduccin

5 Vase tambin

6 Referencias

Definicin y Propiedades[editar]
Podemos definir la disyuncin exclusiva a travs de la funcin de verdad de sus conectivas lgicas: Una
disyuncin solamente es verdadera cuando ambas frases tienen valores diferentes de verdad; es decir,
cuando o una o otra es verdadero, mas no si ambos son verdadero o falso. La frase latina de la disyuncin
exclusiva es "aut - aut".

Una tabla de la verdad de la disyuncin exclusiva es como sta:

A

verdadero
verdadero
falso
falso

verdadero
falso
verdadero
falso

falso
verdadero
verdadero
falso

La disyuncin exclusiva es asociativa y conmutativa. Adems, es su propia inversa y distributiva con

respecto a la conjuncin lgica, mas no con respecto a la condicional:

Demarcacin y equivalencias[editar]
La diferencia entre la disyuncin exclusiva y la disyuncin inclusiva es que en la disyuncin inclusiva hay
"informacin adicional"1 , que "del inicio es claro que uno de las dos alternativas debe ser verdadera"2 , es
decir que no slo al menos que una situacin, sino que ms de una de las dos situaciones existen. 1
Las equivalencias de la disyuncin exclusiva incluye:

Negacin de la bicondicional

Signfica y aplicaciones practicales[editar]

La importancia de la disyuncin exclusiva en la lgica moderna es bajo, "porque deja formular pocas
relaciones."4 Sin embargo, en la lgebra de Boole la disyuncin exclusiva es de gran importancia; la
propiedad, que la doble aplicacin de la disyuncin exclusiva resulta en la identidad, es til en la
criptografa, donde deja de utilizar la misma funcin en el cifrado y el desciframiento, y tambin en el uso
del sistema RAID.
Vase tambin: Puerta_XOR#Aplicaciones

Equivalencias, simplificacin, e introduccin[editar]

La disyuncin exclusiva
puede ser expresada en trminos de conjuncin lgica ( ), disyuncin lgica
( ), y negacin ( ) de la siguiente manera:

La disyuncin exclusiva

puede ser expresada de la siguiente manera:

Esta representacin del XOR puede resultar til en la construccin de un circuito o una red, ya que slo tiene
un operador y un nmero reducido de operadores y . La prueba de esta identidad es la siguiente:

A veces es til escribir

de las siguientes formas:

Esta equivalencia se puede establecer mediante la aplicacin de las Leyes de De Morgan dos veces para la
cuarta lnea de la prueba anterior.

Vase tambin[editar]

lgebra booleana

Puerta lgica

Disyuncin lgica

Conjuncin lgica

Operador a nivel de bits

Funcin booleana

Lgica proposicional

Modus tollendo ponens

Lgica de primer orden

Valor de verdad

Disyuncin inclusiva y exclusiva

La formalizacin de enunciados del lenguaje natural no tiene especial dificultad en el caso de la disyuncin, aunque s hay algunas
sutilezas con las que conviene familiarizarse.
Como hemos dicho, la disyuncin "p q" ser verdadera en caso de que p sea verdadera, o q sea verdadera, o tanto p como q sea
verdadera: se trata de la disyuncin inclusiva. Siempre que utilicemos en el lenguaje natural la conjuncin disyuntiva "o" en este
sentido, utilizaremos el smbolo " ".
Los ejemplos que hemos venido viendo hasta este momento se basan en esta interpretacin inclusiva de la disyuncin. Por ejemplo,
cuando decimos que para optar a un puesto de trabajo hay que saber ingls o francs, interpretamos que alguien que sabe ingls puede
optar a dicho trabajo, alguien que sabe francs tambin, y, por supuesto, alguien que sepa tanto ingls o francs tambin.
Pero tambin existe la llamada disyuncin exclusiva, que viene a decir que al menos una de las opciones es verdadera, pero slo
una. En este sentido exclusivo, si en "p q", p es verdadera y q tambin lo es, la disyuncin exclusiva es falsa.
Por ejemplo, en el lenguaje natural empleamos este sentido exclusivo de la disyuncin cuando decimos que alguien es cristiano o
musulmn. Si alguien es cristiano, si es consecuente con ello no podr ser musulmn, y viceversa. O cuando decimos que un examen se
aprueba o se suspende.

En este caso se utiliza el smbolo " " o bien el smbolo "

". La tabla de verdad de la disyuncin exclusiva sera la siguiente:

p q

En este trabajo utilizaremos solamente la disyuncin en sentido inclusivo. Hay que hacer notar que la disyuncin exclusiva puede
definirse utilizando las siguientes combinaciones de negacin, conjuncin y disyuncin, es decir, "p q" equivale a cualquiera de las
siguientes expresiones:

(p q) (p q)

(p q) (p q)

(p q) (p q)