Gli esercizi
¬(A∧B) ⇒ ¬A∨¬B
¬A ∨ ¬B ⇒ ¬(A ∧ B)
¬(A ∧ ¬A)
(P ∨ Q) ∧ (Q ⇒ R) ⇒ (¬R ⇒ P)
((A ⇒ B) ⇒ A) ⇒ A
¬(A ∧ B) ∧ (¬B ∧ D ⇒ C) ⇒ D ⇒ (B ∨ D ⇒ C ∨ A) ⇒ C