conjunctive normal form - 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 ;
дс тдрлими цюлютдажкию дроемжки аиакиохдйис лидр
http://foldoc.doc.ic.ac.uk/foldoc/foldoc.cgi;
