Aufgabe:
Zeigen Sie folgende Tautologien mit und ohne Verwendung von Wahrheitstafeln.
Bei der zweiten Methode sollen die anderen Tautologien zur äquivalenten Umformung genutzt werden
(a) Setzende Schlussregel (modus ponens):
[A ∧ (A ⇒ B)] ⇒ B
(b) Absorptionsregel:
[A ∧ (A ∨ B)] ⇔ A
Problem/Ansatz:
Also mit a) hatte ich kein Problem, aber bei b) ist mir nur Distributivität eingefallen, um weiter zu kommen, aber danach weiß ich nicht weiter
