TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen WS11/Beispiel 7

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

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

Lösungsvorschlag von linmo

a	b	$(a\Leftrightarrow b)$	$\neg (a\Leftrightarrow b)$	$a\wedge \neg b$
0	0	1	0	0
0	1	0	1	0
1	0	0	1	1
1	1	1	0	0

Woraus folgt, dass die Äquivalenz nicht gegeben ist.