Disyunción exclusiva


Disyunción exclusiva
Venn0110.svg
Diagrama de Venn para ~A \oplus B

OR AND XOR

Venn 0110 1001.svg
Diagrama de Venn para ~A \oplus B \oplus C

Venn 0110 0110.svg Venn 0000 1111.svg Venn 0110 1001.svg


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 p \oplus q puede ser expresada en términos de conjunción lógica (\wedge), disyunción lógica (\lor), y negación (\lnot) de la siguiente manera:

\begin{matrix}
p \oplus q & = & (p \land \lnot q) \lor (\lnot p \land q)
\end{matrix}

La disyunción exclusiva p \oplus q puede ser expresada de la siguiente manera:

\begin{matrix}
p \oplus q & = & \lnot (p \land q) \land (p \lor q)
\end{matrix}

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 \lnot y un número reducido de operadores \wedge y \lor. La prueba de esta identidad es la siguiente:

\begin{matrix}
p \oplus q & = & (p \land \lnot q) & \lor & (\lnot p \land q) \\
& = & ((p \land \lnot q) \lor \lnot p) & \and & ((p \land \lnot q) \lor q) \\
& = & ((p \lor \lnot p) \land (\lnot q \lor \lnot p)) & \land & ((p \lor q) \land (\lnot q \lor q)) \\
& = & (\lnot p \lor \lnot q) & \land & (p \lor q) \\
& = & \lnot (p \land q) & \land & (p \lor q)
\end{matrix}


A veces es útil escribir p \oplus q de las siguientes formas:

\begin{matrix}
p \oplus q & = & \lnot ((p \land q) \lor (\lnot p \land \lnot q))
\end{matrix}

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.

Mira otros diccionarios:

  • Disyunción lógica — Para el dispositivo electrónico, véase Puerta lógica. OR Compuerta lógica. En matemáticas, una disyunción lógica (comúnmente conocida como O, ó ) es un operador lógico que resulta en verdadero si cualquiera de los operadores es …   Wikipedia Español

  • disyunción — (Del lat. disiunctio, onis.) ► sustantivo femenino 1 Acción y resultado de separar o desunir. SINÓNIMO separación 2 Dilema, necesidad u obligación de decidir entre dos o más opciones: ■ tengo la siguiente disyunción: o cambio de piso o me compro… …   Enciclopedia Universal

  • Operador lógico — Saltar a navegación, búsqueda Los operadores lógicos son utilizados por la lógica proposicional para admitir o rechazar proposiciones. En programación de ordenadores se utilizan para combinar valores lógicos (Verdadero/Falso) y obtener nuevos… …   Wikipedia Español

  • Conectiva lógica — En lógica, una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes. En programación se… …   Wikipedia Español

  • Signos más y menos — «Más» redirige aquí. Para otras acepciones, véase Más (desambiguación). Signos más y menos. Los signos más (+) y menos (−) son usados para identificar números positivos o negativos respectivamente. Además son los que representan la adición y la… …   Wikipedia Español

  • Ciencia — La ciencia (del latín scientia conocimiento ) es el conjunto de conocimientos sistemáticamente estructurados, y susceptibles de ser articulados unos con otros. El árbol de la ciencia. Interpretación bíblica Contenido …   Wikipedia Español

  • Emmy Noether — Amalie Emmy Noether Nacimiento 23 de marzo de 1882 Erlangen, Baviera, Alemania Fallecimiento …   Wikipedia Español

  • Parménides de Elea — Saltar a navegación, búsqueda Parménides (Παρμενίδης) Filosofía occidental Filosofía presocrática …   Wikipedia Español