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

Man zeige das es sich bei dem Logischen Ausdruck [(B v C) & (B => ¬A) & A ] => C um eine Tautologie bzw. bei dem Ausdruck (A => C) &(C => B) & A & ¬B um eine Kontradiktion handelt.

  A   B   C      ¬A      BvC      B=>¬A          [(BvC)&(B=>¬A)&A]       [(BvC)&(B=>¬A)&A]=>C
  0   0   0       1       0          1                  0                           1
  1   0   0       0       0          1                  0                           1
  0   1   0       1       1          1                  0                           1
  1   1   0       0       1          0                  0                           1
  0   0   1       1       1          1                  0                           1
  1   0   1       0       1          1                  1                           1
  0   1   1       1       1          1                  0                           1
  1   1   1       0       1          0                  0                           1

somit ist [(B v C) & (B => ¬A) & A ] => C eine Tautologie