(A ∧ B) ∨ A ∧ (B ∨ C)_
(A ∧ B) ∨ (A ∧ B) ∨ (A ∧ C) => Distributive Law_
(A ∧ B) ∨ (A ∧ C) => Idempotent Law_
A ∧ (B ∨ C) => Distributive Law_
>_