😝LEYES DE DE MORGAN😝

Las leyes de De Morgan son una parte de la Lógica proposicional, analítica que fueron creadas por Augustus de Morgan. 

Estas declaran las reglas de equivalencia en las que se muestran que dos proposiciones pueden ser lógicamente equivalentes. 

El cambio del operador de conjunción en operador de disyunción y viceversa. 
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de De Morgan pueden estar afirmadas o negadas.

Ejemplos:

¬(P ^ Q) ≡ (¬P v ¬Q) 
Si nos encontramos con una proposición conjuntiva totalmente negada, la ley de Morgan nos permite transformarla en una proposición disyuntiva con cada uno de su miembros negados 

¬(P v Q) ≡ (¬P ^ ¬Q) 
Si nos encontramos con una proposición disyuntiva totalmente negada, la ley de De Morgan nos permite transformarla en una proposición conjuntiva con cada uno de sus miembros negados 

(P ^ Q) ≡ ¬ (¬ P v ¬ Q) 
Si nos encontramos con una proposición conjuntiva afirmada, la ley de Morgan nos permite transformarla en una proposición disyuntiva negada en su totalidad y en sus miembros. 

(P v Q) ≡ ¬(¬P ^ ¬Q) 
Si nos encontramos con una proposición disyuntiva afirmada, la ley de Morgan nos permite transformarla en una proposición conjuntiva negada en su totalidad y en sus miembros.