¬(¬A ∧ (B ∧ C))_
¬¬A ∨ ¬(B ∧ C) => De Morgan's Rule_
A ∨ ¬(B ∧ C) => Double Negation_
A ∨ ¬B ∨ ¬C => De Morgan's Rule_
>_