CNF formula generator
