conjunctive normal form
English
Noun
conjunctive normal form (plural conjunctive normal forms)
- (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)”.
Synonyms
- clausal normal form
Hyponyms
- canonical conjunctive normal form
See also
- disjunctive normal form
Further reading
- conjunctive normal form at OneLook Dictionary Search