CNF Converter implementation