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
|
| 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:first-order_logic
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
disjunctive normal form
|