(p  /\ q) <==> ¬(p ==> ¬q);   (p  \/ q) <==> (¬p ==> q).