LEYES DE MORGAN

Lógica computacional
 Conclusiones

Las leyes de Morgan fueron implementadas por el matemático Augustus De

Morgan, o mas que implementadas, colocadas y reconocidas como tal por su
propias palabras, mas sin embargo, dichas constantes ya se conocían desde
mucho antes, por matemáticos griegos.

Así pues dichas leyes nos general una relación de entre dos conjuntos diferentes,
con esta idea previa podemos afirmar que mas que analizar el conjunto de
elementos, analizamos los “complementos” o de una manera mas entendible, los
elementos que no están considerados en los conjuntos, es decir, los sobrantes.

De manera mas razonable en cuestión de pronunciación podemos decir que estas

leyes analizan, mediante un sistema de exclusión un grupo mas especifico de
elementos.

La primera ley de Morgan se expresa:

(AUB)c = AcnBc

Esto lo entendemos como: El complemento de la intersección de dos conjuntos es

igual a la intersección de los complementos.

Dicho de otra manera podemos expresar que la unión de los sobrantes de A y de

B es igual al sobrante de A mas el sobrante de B

La segunda ley de Morgan se expresa:

(AnB)c = AcUBc

Esto pues, se lee como: El complemento de la intersección de dos conjuntos es

igual a la unión de los complementos de los conjuntos

En otras palabras: El sobrante de la unión de dos grupos es equivalente a la suma

de los sobrantes de cada parte compartida