0 Daumen
739 Aufrufe

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.


Avatar von

1 Antwort

0 Daumen
Bei der ersten wäre das wohl
A    B       B  und A      nicht( A folgt B)       B  und A   oder   nicht( A folgt B)

w   w            w                       f                                             w

w    f              f                        w                                           w

f     w             f                         f                                             f

f     f                f                       f                                             f

Da in der letzten Spalte die gleichen Werte wie in der 1. stehen ist die

Äquivalenz wahr.

Avatar von 289 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community