conjunctive normal form

English

Noun

conjunctive normal form (countable and uncountable, 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

Translations

Translations

Finnish: konjunktiivinen normaalimuoto
German: konjunktive Normalform f
Polish: koniunkcyjna postać normalna f

See also

disjunctive normal form

Further reading

“conjunctive normal form”, in 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.