conjunctive normal form

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search



conjunctive normal form (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)".


See also[edit]

Further reading[edit]