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?