(A ∧ B) ∨ (A ∧ C)
_
A ∧ (B ∨ C) => Distributive Law
_
>
_