(¬A∧B∧¬C)∨(¬A∧B∧C)∨(A∧¬B∧C)∨(A∧B∧C)
¬A∧((B∧¬C)∨(B∧C))∨ A und ((¬B∧C)∨(B∧C)) hier fehlte ein "und"
¬A∧((B∧(¬CvC)) v A∧((C∧((¬B∧B))
¬A∧B ∨ A∧C Bis hierhin richtig.
Kann man hier auch leicht mit einer Wertetabelle überprüfen!
Der letzte Schritt ist falsch, welches Gesetz sollt das sein.
B∧C ?