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