(A ∧ B) ∨ A ∧ (B ∨ C)_

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

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

A ∧ (B ∨ C)    => Distributive Law_

>_