TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 71

Aus VoWi
Zur Navigation springen Zur Suche springen

Entscheiden Sie mit Hilfe einer Wahrheitstafel, ob die folgende Äquivalenz richtig ist:

\neg(a \rightarrow b) \Leftrightarrow a \wedge \neg b

Lösungsvorschlag von mnemetz[Bearbeiten]

a b \neg a \neg b \neg(a \rightarrow b) a \wedge \neg b
1 1 0 0 0 0
1 0 0 1 1 1
0 1 1 0 0 0
0 0 1 1 0 0

Die Wahrheitstafel beweist, dass eine Äquivalenz gegeben ist!