Aussagenlogik: Implikation. Sind die Aussagen wirklich äquivalent?

Question

ich habe folgende Äquivalenz

¬(B ∧ ¬C) ⇔ (B → C)

Vereinfacht:

¬B ∨ C ⇔ B → C

Wahrheitstabelle

B  C	B → C	¬B ∨ C
w   w	w	w
w   f	w	f
f    w	f	w
f    f	w	w

Also gleich viele Aussagen sind war und gleich viele falsch aber bei der Reihenfolge unterscheiden die Aussagen sich. Kann man dennoch von einer Äquivalenz sprechen? 

Answer 1

Deine Wahrheitswerte für B -> C stimmt nicht.

Richtig ist das hier (Spalte: Materiale Implikation)

https://de.wikipedia.org/wiki/Wahrheitstabelle#Darstellung_boolescher_Funktionen