TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen WS13/Beispiel 10

Man zeige, dass es sich bei dem logischen Ausdruck

$[\mathrm{\neg }B\wedge (A\to B)]\to \mathrm{\neg }A$

um eine Tautologie handelt.

Lösungsvorschlag

A	B		$A\to B$	$\mathrm{\neg }B\wedge (A\to B)$	$[\mathrm{\neg }B\wedge (A\to B)]\to \mathrm{\neg }A$
0	0		1	1	1
0	1		1	0	1
1	0		0	0	1
1	1		1	0	1