logic (CNF) A logical formula consisting of a

conjunction of disjunctions of terms where no disjunction

contains a conjunction. Such a formula might also be

described as a product of sums. E.g. the CNF of