Statements (23)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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 |
https://www.w3.org/2000/01/rdf-schema#label |
Disjunctive Normal Form
|
gptkbp:introducedIn |
20th century
|
gptkbp:property |
Every Boolean formula can be converted to DNF
Not unique for a given function |
gptkbp:relatedConcept |
Boolean satisfiability problem
truth table minterm |
gptkbp:usedIn |
digital circuit design
automated theorem proving logic simplification |
gptkbp:bfsParent |
gptkb:CNF
|
gptkbp:bfsLayer |
6
|