Wie wende ich das Distributivgesetz hier an?
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
Studium,
Mathematik,
Physik