ALL meanings of conjunctive normal form
- noun Technical meaning of conjunctive normal form (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 (A and B) or C is (A or C) and (B or C). Contrast Disjunctive Normal Form. 1
- noun conjunctive normal form (logic) The form of a boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as "(A or B or C) and (D or E or not F)". 0