
ich bekomm einfach keine wahre Aussage für die oben stehende Formel heraus.
Ich beschreib mal kurz die Reihenfolge wie ich das auflöse.
1. (not A -> B)
2. (C <-> B)
3. not (C <-> B), die Negation
4. not (C <-> B) or A, die Disjunktion
5. ((not A -> B) and (not ( C <-> B) or A)), die Konjunktion zum Schluss.
Mache ich hier was falsch oder ist es möglich dass hier gar keine wahre Aussage bei rauskommt ?