Untersuchen Sie mit Hilfe von Wertetabellen, ob die folgenden Aussagen gültig sind:
(¬A → B) ∧ (¬A →¬B) → A,
(A → B) ∧ (B → C) → (A → C).