3.2 Ein Beispiel

Im Folgenden sollen nun zur Formel

F = ((t ↑ ¬¬C) ∨ (A ⊅ B)) ⊃ ¬(¬¬B ↓ ¬A)

die äquivalente konjunktive beziehungsweise disjunktive Normalform gefunden werden. Das Ergebnis soll nach Möglichkeit vereinfacht werden.