Negación de una proposición compuesta, Leyes de Morgan 

Negación de una proposición compuesta

Si "p" es una proposición, la negación de "p", tiene el valor de verdad opuesto al original; por ejemplo, p= (NO)p; (NO)p= p.

Las proposiciones al inicio son confusas de comprender, la negación de estas son mas sencillas ya que solo se necesita contradecir el valor verdadero de las proposiciones originales, dígase de verdadero a falso y/o de falso a verdadero. Personalmente, fue un conocimiento totalmente nuevo y un aprendizaje útil y entretenido. Conociendo los valores que cada proposición puede tener, llegamos a la conclusión de que cada proposición posee nada mas 4 diferentes valores de verdad originales y cuatro negaciones de estos mismos. 

Leyes de De Morgan:

Las leyes de De Morgan son una parte de la lógica proposicional y analítica, creada por Augustus De Morgan (Madura, 1806) (Londres, 1871).

Las leyes de De Morgan son muy útiles cuando se quieren encontrar equivalentes para proposiciones que se obtienen por negación de proposiciones compuestas.