Aufgabe:
Wie vereinfacht man die Aussageformel A∧(B∨¬A)∧(¬B∨C) ?
Problem/Ansatz:
Als erster Schritt im möglichen Lösungsweg wird folgende Umformung genannt.
A∧(B∨¬A)∧(¬B∨C) ⇔ (A∧B∧¬B)∨(A∧B∧C)∨(A∧¬A∧¬B)∨(A∧¬A∧C)
Wie kommt man nur darauf ?
Das Distributivgesetz ist mir bekannt, wie wendet man das in diesem Fall an?