(Tautologien) Seien p, q, r Aussagen. Zeigen Sie, dass folgende Aussagen, unabhängig
von den Wahrheitswerten von p, q und r, stets wahr sind:
(a) (p ∧ (p ⇒ q)) ⇒ q (Gesetz zum modus ponens),
(b) (p ⇒ q) ⇔ (¬q ⇒ ¬p) (Gesetz der Kontraposition),
(c) (p ∨ (q ∧ r)) ⇔ ((p ∨ q) ∧ (p ∨ r)) (Distributivgesetze).