Added CNF normalization algorithm.