Y = (¬a ∧ ¬b) ∨ (a ∧ c) ∨ (¬a ∧ ¬b) ∨ (b ∧ c)

= (¬b ∧ c) ∨ (¬a ∧ c)

= (¬a ∧ ¬b) ∨ c

Warum?