Negation normal form is not a canonical form: for example, a∧(b∨¬c){\displaystyle a\land (b\lor \lnot c)} and (a∧b)∨(a∧¬c){\displaystyle (a\land b)\lor (a\land \lnot c)} are equivalent, and are both in negation normal form.