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

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

$\mathrm{\neg }(a\iff b)\iff a\wedge \mathrm{\neg }b$

Lösungsvorschlag von linmo

a	b	$(a\iff b)$	$\mathrm{\neg }(a\iff b)$	$a\wedge \mathrm{\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.