TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 71

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

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

Lösungsvorschlag von mnemetz

a	b		$\mathrm{\neg }a$	$\mathrm{\neg }b$		$\mathrm{\neg }(a\to b)$		$a\wedge \mathrm{\neg }b$
1	1		0	0		0		0
1	0		0	1		1		1
0	1		1	0		0		0
0	0		1	1		0		0

Die Wahrheitstafel beweist, dass eine Äquivalenz gegeben ist!