bn:03601105n
Noun Concept
Categories: Normal forms (logic), All articles with unsourced statements, Pages that use a deprecated format of the math tags
EN
disjunctive normal form  Disjunct normal form  Disjunctive normal form, DNF  Disjunctive normal formula  DNF
EN
In boolean logic, a disjunctive normal form is a canonical normal form of a logical formula consisting of a disjunction of conjunctions; it can also be described as an OR of ANDs, a sum of products, or a cluster concept. Wikipedia
Definitions
Relations
Sources
EN
In boolean logic, a disjunctive normal form is a canonical normal form of a logical formula consisting of a disjunction of conjunctions; it can also be described as an OR of ANDs, a sum of products, or a cluster concept. Wikipedia
A standardization of a logical formula in boolean logic Wikipedia Disambiguation
Concept in Boolean logic Wikidata
A disjunction of clauses, where clauses are liteals or conjunctions of literals. OmegaWiki
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)”. Wiktionary