0 Daumen
553 Aufrufe
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.
Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community