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

Aus VoWi
Zur Navigation springen Zur Suche springen

Man zeige, dass es sich bei dem logischen Ausdruck

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

um eine Tautologie handelt.

Lösungsvorschlag[Bearbeiten]

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