disjunctive normal form

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



disjunctive normal form

  1. (logic) The form of a boolean formula that the formula has if the formula is a disjunction of conjunctions of literals, such as "(A and B and C) or (D and E and not F)".

See also[edit]

Further reading[edit]