TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS19/Beispiel 77

Aus VoWi
< TU Wien:Algebra und Diskrete Mathematik UE (diverse)‎ | Übungen SS19
Version vom 7. März 2019, 17:44 Uhr von Gittenborg (Diskussion | Beiträge) (Gittenborg verschob die Seite TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen WS18/Beispiel 77 nach TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS19/Beispiel 77 und überschrieb dabei eine Weiterleitung: verschie…)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

Entscheiden Sie mit Hilfe einer Wahrheitstafel, ob die folgende Äquivalenz richtig ist.

(a \wedge \neg b) \wedge \neg c \Leftrightarrow a \wedge \neg(b \wedge \neg c)

Lösungsvorschlag von Hochi[Bearbeiten]

a b c \neg a \neg b \neg c a \wedge \neg b (a \wedge \neg b) \wedge \neg c) \neg(b \wedge \neg c) a \wedge \neg(b \wedge \neg c)
1 1 1 0 0 0 0 0 1 1
1 1 0 0 0 1 0 0 0 0
1 0 1 0 1 0 1 0 1 1
1 0 0 0 1 1 1 1 1 1
0 1 1 1 0 0 0 0 1 0
0 1 0 1 0 1 0 0 0 0
0 0 1 1 1 0 0 0 1 0
0 0 0 1 1 1 0 0 1 0

Wahrheitstafel beweist, dass Äquivalenz nicht gegeben ist!