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)”. Synonym: clausal normal form Hyponym: canonical conjunctive normal form ==== Translations ==== ==== See also ==== === Further reading === “conjunctive normal form”, in OneLook Dictionary Search. conjunctive normal form on Wikipedia.Wikipedia