conjunctive normal form

English

Noun

conjunctive normal form (countable and uncountable, plural conjunctive normal forms)

1. (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.