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

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.