Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Boolean_function_normal_form
|
| gptkbp:abbreviation |
gptkb:DNF
|
| gptkbp:component |
literal
conjunction (AND) disjunction (OR) |
| gptkbp:contrastsWith |
gptkb:Conjunctive_Normal_Form
|
| gptkbp:defines |
A standardization of a logical formula consisting of a disjunction of conjunctions of literals
|
| gptkbp:example |
(A AND B) OR (NOT A AND C)
|
| gptkbp:field |
gptkb:algebra
gptkb:logic computer science |
| gptkbp:introducedIn |
20th century
|
| gptkbp:property |
Every Boolean formula can be converted to DNF
Not unique for a given function |
| gptkbp:relatedConcept |
gptkb:Boolean_satisfiability_problem
truth table minterm |
| gptkbp:usedIn |
digital circuit design
automated theorem proving logic simplification |
| gptkbp:bfsParent |
gptkb:CNF
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Disjunctive Normal Form
|