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

From VoWi
< TU Wien:Algebra und Diskrete Mathematik UE (diverse)‎ | Übungen SS19
Revision as of 17:44, 7 March 2019 by Gittenborg (talk | contribs) (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…)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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[edit]

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!