TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS13/Beispiel 6

Aus VoWi
Zur Navigation springen Zur Suche springen

Entscheiden Sie mit Hilfe einer Wahrheitstafel, ob die folgenden Aquivalenzen richtig sind. → und ↔ bezeichnen Sub- bzw. Bijunktion.

Lösung(svorschlag)[Bearbeiten | Quelltext bearbeiten]

von --Hunter

a b a <-> b <=> (a->b) -> (b->a)
1
1
0
0
1
0
1
0
1
0
0
1
1
0
1
1
0



0
0
1
0
1
1
0
1

Da bereits in der 1. Zeile (fett) keine Äquivalenz besteht, kann abgebrochen werden.