¬(¬A ∧ (B ∧ C))_

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

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

A ∨ ¬B ∨ ¬C  => De Morgan's Rule_

>_