Leyes de Morgan y Tablas de Verdad

Leyes de Morgan 

• La negación de una conjunción es igual a la negación de la proposición 1 y 2, unidos con el conectivo lógico "ó" en vez de "y".

                                     ~(p "y" q) = ~p v ~q

• La negación de una disyunción es igual a la negación de la proposición 1 y 2, unidos con el conectivo lógico "y" en vez de "ó".

                                     ~(p v q) = ~p "y" ~q

• La negación del condicional es igual a la proposición 1 y negación de la 2 unidos con el conectivo "y".  

                                          ~(p ---> q) = p "y" ~q

• La negación del bicondicional es igual a: 

                                ~(p <----> q) = (p "y" ~q) v (q "y" ~p)

TABLAS DE VERDAD: