Leyes de Morgan

Leyes de Morgan

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

• La negación de una Conjunción equivale a la Disyunción de las negaciones.

~(p ^ q)  ~p V ~q

• La negación de una Disyunción equivale a la conjunción de las negaciones.

~ (p V q)  ~p ^ ~q

• La negación de la condicional.

~(p  q)  p ^ ~q

• La negación de la bicondicional.

~(p  q)  (p ^ ~q) V (q ^ ~p)

Es un tema bastante amplio y muchas veces me confundo, solo debo de prestar bastante atención a lo que me piden para poder resolverlo.