Definition. Conjunctive Normal Form [cnf]

A problem is in conjunctive normal form (CNF) if it is a product of sums: i.e. an AND of ORs.