TU Wien:Algebra und Diskrete Mathematik UE (diverse)/Übungen SS12/Beispiel 7

Aus VoWi
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!