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?
