Calculo Proposicional 3

Ley de Morgan: Nos sirve para la negación de las disyunciones y conjunciones 

Implicación: 

p solo si q

p -> q