TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS12/Beispiel 7
Zur Navigation springen
Zur Suche springen
Die Äquivalenz ¬(A <=> B) <==> A & ¬B war mithilfe der Warheitstabelle zu überprüfen.
Wahrheitstafel:
A B C A<=>B ¬B ¬(A<=>B) A & ¬B 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 0 0
Somit ist gezeigt dass ¬(A <=> B) nicht Äquivalent A & ¬B ist!