¬(A ∧ ¬B) ∨ (¬A ∧ B)_

(¬A ∨ ¬¬B) ∨ (¬A ∧ B) => De Morgan's Rule_

(¬A ∨ B) ∨ (¬A ∧ B) => Double Negation_

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

((¬A ∨ ¬A) ∨ B) ∧ (¬A ∨ (B ∨ B)) => Associative & Commutative Laws_

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

¬A ∨ B => Idempotent Law_

>_