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