A ∨ ¬(A ∧ B)_
A ∨ (¬A ∨ ¬B) => De Morgan's Rule_
(A ∨ ¬A) ∨ ¬B => Associative Law_
1 ∨ ¬B => Complement Law_
1 => Identity Law_
>_