Add NNF (Negation Normal Form).