Wie umforme ich folgende boolesche Funktion?
(a, b, c) → c ∧ (a ∧ b ∨ ¬(a ∨ b)) ∨ a ∧ b ∧ ¬c ∨ ¬a ∧ ¬b ∧ ¬c
↔ c ∧ (a ∧ b ∨ ¬a ∧ ¬b)) ∨ a ∧ b ∧ ¬c ∨ ¬a ∧ ¬b ∧ ¬c(Regel von de Morgan)
↔ c ∧ (b ∧ a ∨ ¬a ∧ ¬b)) ∨ a ∧ b ∧ ¬c ∨ ¬a ∧ ¬b ∧ ¬c (Komutativgesetz)
↔ c ∧ (b ∧ a ∨ ¬a ∧ ¬b)) ∨ a ∧ b ∧ ¬c ∨ ¬a ∧ ¬b ∧ ¬c (Neutralitätsgesetz? oder Welche Regel soll ich hier anwenden? )
Darf ich die Klammern einfach auflösen?