Gli esercizi

  1. ¬(A∧B) ⇒ ¬A∨¬B
  2. ¬A ∨ ¬B ⇒ ¬(A ∧ B)
  3. ¬(A ∧ ¬A)
  4. (P ∨ Q) ∧ (Q ⇒ R) ⇒ (¬R ⇒ P)
  5. ((A ⇒ B) ⇒ A) ⇒ A
  6. ¬(A ∧ B) ∧ (¬B ∧ D ⇒ C) ⇒ D ⇒ (B ∨ D ⇒ C ∨ A) ⇒ C