conjunctive normal form

Từ điển Máy Tính - Foldoc Dictionary

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.

Last updated: 1995-12-10