liebe Mathebegeisterte!
Uns wurde folgende Aufgabe zugeteilt, die wir unbedingt mit einer Wahrheitstafel lösen sollen.
Da ich "Wahrheitstafeln" nur aus eTechnikvorlesungen kenne wollte ich fragen wie dies in der Mathematik aussieht und wie man mithilfe von denen diese Formeln auf ihre Äquivalenz zu wahr beweist.
Ich würde versuchen anzufangen die äquivalenzzeichen zu ersetzen, aber daran scheitert es schon.
Die Aufgabe:
Seien A, B aussagenlogische Formeln. Untersuchen Sie, welche der folgenden Formeln äquivalent zu wahr sind, und beweisen Sie ihre Ergebnisse:
(a) A ⇔ (B ∧ A) ∨ ¬(A ⇒ B).
(b) (A ⇒ B) ⇒ (¬B ∨ A).
(c) (A ∧ ¬B) ⇒ A.