Ich muss (a↔b)∨(c⊽a) in die KNF bringen, beim Umwandeln der Ausdrücke komme ich auf ((¬a∨b)∧(a∨¬b))∨(¬c∧¬b).

Das richtige Ergebnis ist (a∨¬b∨¬c)∧(¬a∨b), nur verstehe ich nicht genau wie runter komme und wie ich bei -b das Distributivgesetz anwende