Equation to CNF generator