Du meinst du verstehst die 2. Zeile nicht?
Das ist das Distributivgesetz
(a ∧ b) ∨ (a ∧ ¬ b)
Substituiere (a ∧ ¬ b) durch c
(a ∧ b) ∨ c
(a ∨ c) ∧ (b ∨ c)
Resubstituiere
(a ∨ (a ∧ ¬ b)) ∧ (b ∨ (a ∧ ¬ b))
und wende das Gesetz nochmals an
((a ∨ a) ∧ (a ∨ ¬ b)) ∧ ((b ∨ a) ∧ (b ∨ ¬ b))
(a ∨ a) ∧ (a ∨ ¬ b) ∧ (b ∨ a) ∧ (b ∨ ¬ b)
Ist das so klar?
Oder verstehst du die 3. Zeile nicht. Da vereinfache ich ja nur
(a ∨ a) = a
(b ∨ ¬ b) = w