CNF converter