¬(A ∨ ¬B ∨ C)
¬(A ∧ B) ∧ ¬C
¬(¬A ∨ ¬B) ∧ C
¬(A ∨ B) ∧ ¬C
¬(¬A ∧ B) ∧ ¬C
¬(A ∨ ¬B) → C
A ∧ ¬(B ∨ ¬C)
¬(A ∧ ¬B ∧ ¬C)