What is the complexity for converting any propositional formula to CNF format? Is it an NP-complete problem?
