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
|