Digues si són tautologies, contradiccions o contingents:

•  (p ∨ q) → ((r ∧ ¬ p) ∨ q)
  
•  ¬ (p ∧ q → r) ↔ (¬ p ∨ (q ∧ ¬ r))
  
•  (p ↔ (q ∨ ¬ r)) → (p ∧ ¬ q)
  
•  (p → ¬ (q ∧ r)) ↔ (p ∧ (q ∧ r))
  
•  (p ∨ ¬ (p ∧ q)) → (q ∧ p ↔ ¬ p)
  
•  (p ↔ (q ∨ r)) → ((q ∧ r → p) ↔ ¬ ((r ∧ ¬ p) ∨ ¬ q))