En lgica proposicional y lgebra de Boole, las leyes de De Morgan1 2 3 son un par de reglas

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:

es el operador de negacin (NO)

es el operador de conjuncin (Y)

es el operador de disyuncin (O)

es un smbolo metalgico que significa "puede ser reemplazado en una

mediante una prueba lgica"

Entre la aplicaciones de las normas se incluyen la simplificacin

de expresiones lgicas en programas de computacin y diseo de circuitos digitales.
Las leyes de De Morgan son un ejemplo de concepto ms general de dualidad
matemtica.

Notacin formal[editar]
La regla de la negacin de la conjuncin se puede escribir en la subsiguiente notacin:

La negacin de la regla de disyuncin se puede escribir como:

En forma de regla: negacin de la conjuncin

y negacin de la disyuncin

y se expresa como una tautologa verdad-funcional o teorema de lgica proposicional:

donde

,y

son proposiciones expresadas en algn sistema formal.

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

Negaciones de operadores en las conjunciones y disyunciones[editar]

Conjuncin con P negada
La conjuncin de la proposicin P negada y la preposicin Q es equivalente a la negacin de
la disyuncin de P y la negacin de Q

Conjuncin con Q negada

La conjuncin de la proposicin P y la preposicin Q negada es equivalente a la negacin de
la disyuncin de la negacin de P y Q

Conjuncin tanto de P como de Q negadas

La conjuncin de la proposicin P y Q negadas es equivalente a la negacin de la disyuncin
de P y Q

Disyuncin con P negada

La disyuncin de la proposicin P negada y la preposicin Q es equivalente a la negacin de
la conjuncin 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

Disyuncin con Q negada

La disyuncin de la proposicin P y la preposicin Q negada es equivalente a la negacin de
la disyuncin de la negacin de P y Q

Disyuncin tanto de P como de Q negadas

La disyuncin de la proposicin P y Q negadas es equivalente a la conjuncin de la
disyuncin de P y 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.