Difference between revisions of "TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS19/Beispiel 77"

From VoWi
Jump to navigation Jump to search
(beispiel_fixer.py)
 
(No difference)

Latest revision as of 17:44, 7 March 2019

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!