disjunctive normal form

GPTKB entity

Statements (17)
Predicate Object
gptkbp:instanceOf gptkb:logic
gptkbp:abbreviation gptkb:DNF
gptkbp:application digital circuit design
automated theorem proving
gptkbp:component literal
conjunction
disjunction
gptkbp:contrastsWith gptkb:conjunctive_normal_form
gptkbp:defines a standardization of a logical formula consisting of a disjunction of conjunctions
https://www.w3.org/2000/01/rdf-schema#label disjunctive normal form
gptkbp:property every Boolean formula can be converted to DNF
gptkbp:relatedTo normal form
Boolean function
gptkbp:usedIn gptkb:algebra
gptkb:logic
gptkbp:bfsParent gptkb:algebra
gptkbp:bfsLayer 4