TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 7

Angabe

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

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

Lösungsvorschlag von mnemetz

a	b		$\neg a$	$\neg b$		$\neg (a\rightarrow b)$		$a\wedge \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!