KNF-DNF-Konverter

Zum Ausprobieren: (((t ↑ ¬¬C) ∨ (A ⊅ B)) ⊃ ¬(¬¬B ↓ ¬A))