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

From VoWi
Jump to navigation Jump to search

Man zeige, dass es sich bei dem logischen Ausdruck

 [\lnot B \land (A \rightarrow B)] \rightarrow \lnot A

um eine Tautologie handelt.

Lösungsvorschlag[edit]

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