Es gilt Q ↔ (R ↔ S) in NNF (Negationsnormalform) zu bringen.
Anschl. ist daraus eine KNF zu bilden.
Durch die zwei ↔ komme ich irgendwie nicht über den Ansatz hinaus oder es bilden sich gleich Zweizeiler.
Wäre dankbar für eine Lösung mit Angabe der Zwischenschritte, damit ich für die danach folgenden Aufgaben gewappnet bin, das Trivialbeispiel aus dem Skript hilft nicht.