Wahrheitstabelle für folgende logische Verknüpfung

Question

meine Aufgabe: 

Erstellen Sie die Wahrheitstabelle für folgende logische Verknüpfung:

(A-> (B ∨  C)) ^ ¬ (A ↔ ¬ C) 

Comments

Wo genau liegt dein Problem beim bearbeiten dieser Aufgabe?

---

Ich habe keine Ahnung was genau eine Wahrheitstabelle ist.. Und kann mit "(A-> (B ∨  C)) ^ ¬ (A ↔ ¬ C) "

nicht wirklich etwas anfangen..

---

Erstmal ins Skript schauen...

Ein wenig recherchieren hilft auch z.Bsp http://de.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks:_Wahrheitstabelle

Wenn solche grundsätzlichen Probleme bestehen wird dir eine Musterlösung nicht viel weiterhelfen.

Answer 1

(A-> (B ∨  C)) ^ ¬ (A ↔ ¬ C)
Betrachte doch die Zerlegung in Teilterme
A    B    C       B ∨  C      A-> (B ∨  C)         A ↔ ¬ C        ¬ (A ↔ ¬ C)         (A-> (B ∨  C)) ^ ¬ (A ↔ ¬ C)
w   w    w            w                  w                          f                       w                                            w
w   w     f             f                     f                           w                      f                                              f

also etwa für die 1. Zeile (alle drei Variablen sind wahr)
 in der 4. Spalte: oder-Verbindung von 2*w gibt w
in der 5. Spalte aus w folgt w  das ist w
in der 6. Spalte  ↔Verbindung von w und f gibt f
in der 7. Spalte Negation der 6. Spalte also w
in der 8. Spalte  und-Verbindung von 5. und 7. Spalte gibt w.

vielleicht noch die 2. Zeile  (wwf)
 in der 4. Spalte: oder-Verbindung von w mit f gibt f
in der 5. Spalte aus w folgt f  das ist f
in der 6. Spalte  ↔Verbindung von w und w gibt w
in der 7. Spalte Negation der 6. Spalte also f
in der 8. Spalte  und-Verbindung von 5. und 7. Spalte gibt  f

jetzt noch die nächsten 6 Zeilen. Viel Erfolg!