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 untipo 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 enté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 puederesultar ú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.
La Implicación
Implicación(del latín in ─ plicare) se refiere al hecho de que hay algo «plegado» o doblado en el interior de algo que oculta lo que hay en su interior, de forma que lo interior no es visible o perceptibleaunque esté ahí.
La implicación es contrapuesta al término explicación (del latín ex ─ plicare), que es el hecho de desplegar lo que está plegado; sacar al exterior, hacer visible, o comprensible,aquello que está “implicado” en el interior de algo que lo hacía oculto o no comprensible.
La realidad del mundo como un orden implicado
La realidad del mundo no se nos manifiesta como un conjunto decosas o de hechos aislados, sino que, por el contrario, aparece como un proceso, como un conjunto de hechos y de cosas relacionados entre sí de forma que unas cosas "dependen" de otras, unos hechos"suceden" a otros, o suceden "siempre y cuando" se dé un "orden" entre determinadas circunstancias etc. etc.
Estas relaciones en las que unas cosas dependen de otras, o unos hechos suceden a otros,...
Regístrate para leer el documento completo.