Die Ausgangsformel : ((A∧B)∨C)∧(¬B∨D)
KNF habe ich hingekriegt indem man einfach Distrubitivgesetz anwendet für den linken Teil. (A ∨ C) ∧ (B ∨ C) ∧ (¬B ∨ D)
Nun habe ich aber Probleme dies in DNF umzuformen.
Als Lösung solle : (D ∧ A ∧ B) ∨ (¬B ∧ C) ∨ (D ∧ C) herauskommen aber ich verstehe nicht welche Umformungen gemacht worden sind.