TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS14/Beispiel 9

Lösungsvorschlag von Willi

A	B		$A\rightarrow B$	$A\land (A\rightarrow B)$	$[A\land (A\rightarrow B)]\rightarrow B$
0	0		1	0	1
0	1		1	0	1
1	0		0	0	1
1	1		1	1	1

Bei dem Ergebnis handelt es sich also um eine Tautologie.