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

Aus VoWi
Wechseln zu: Navigation, Suche

Lösungsvorschlag von Willi[Bearbeiten]

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.