Leyes de Morgan
Leyes de Morgan
Leyes de Morgan
de transformacin que son ambas reglas de inferencia vlidas. Las normas permiten la
expresin de las conjunciones y disyunciones puramente en trminos de s va negacin.
Las reglas se pueden expresar en espaol como:
La negacin de la conjuncin es la disyuncin de las negaciones.
La negacin de la disyuncin es la conjuncin de las negaciones.
o informalmente como:
"no (A y B)" es lo mismo que "(no A) o (no B)"
y tambin,
"no (A o B)" es lo mismo que "(no A) y (no B)"
Las reglas pueden ser expresadas en un lenguaje formal con dos proposiciones P y Q, de
esta forma:
donde:
Notacin formal[editar]
La regla de la negacin de la conjuncin se puede escribir en la subsiguiente notacin:
y negacin de la disyuncin
donde
,y
Forma de sustitucin[editar]
Normalmente, las Leyes de De Morgan se muestran en forma compacta como se muestra
arriba, con la negacin de la salida de la izquierda y la negacin de las entradas a la
derecha.
Conjuncin[editar]
La conjuncin de dos preposiciones es equivalente a la negacin de la disyuncin de los
trminos negados
Disyuncin[editar]
La disyuncin de dos preposiciones es equivalente a la negacin de la conjuncin de la
negacin de P y la negacin de Q
Esta forma tambin es equivalente al implica de la negacin del trmino P y la negacin del
trmino Q
Esto pone de relieve la necesidad de invertir tanto en las entradas como en las salidas, as
como tambin cambiar el operador, haciendo una sustitucin.