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

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

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!