disjunctive normal form

English

Noun

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)”.

   Hyponym: canonical disjunctive normal form

Translations

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)”

• Finnish: disjunktiivinen normaalimuoto
• German: disjunktive Normalform f
• Polish: alternatywna postać normalna f

See also

• conjunctive normal form

Further reading

• “disjunctive normal form”, in OneLook Dictionary Search.