Leyes de Morgan

Son un conjunto de herramientas básicas en el ámbito de la lógica proposicional y la álgebra de Boole. Su practicidad y su éxito se basan en su capacidad para simplificar las llamadas expresiones booleanas, pero sobre todo porque permiten cambiar el operador de conjunción al operador de disyunción y viceversa. Estos dos constituyen lo que conocemos como operadores lógicos, siendo ambos muy diferentes. son dos reglas que se utilizan dentro de la lógica digital, para poder simplificar una ecuación booleana, o en el caso mas popular. Sirven para poder intercambiar algunas compuertas lógicas con otras, siempre y cuando se tomen en cuenta algunas condiciones especiales. 

Ejemplos: 

P= Sofía tiene los ojos de color verde. 

Q= Ricardo estudia Ingeniería.

1. (p ^ - q) = Sofía tiene los ojos verdes y Ricardo no estudia ingeniería.