In mathematical logic, a formula is in negation normal form if the negation operator (formula_1, ) is only applied to variables and the only other allowed Boolean operators are conjunction (formula_2, ) and disjunction (formula_3, ).