Disjunctive Normal Form

GPTKB entity

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