DNF
A propositional formula is a DNF formula, meaning Disjunctive Normal Form, if it is a disjunction of conjunctions of literals (a literal is a propositional variable or its negation). Hence, a DNF is a formula of the form: , where each is of the form for literals and some which can vary for each .
Example: .
Title | DNF |
---|---|
Canonical name | DNF |
Date of creation | 2013-03-22 14:14:08 |
Last modified on | 2013-03-22 14:14:08 |
Owner | rspuzio (6075) |
Last modified by | rspuzio (6075) |
Numerical id | 4 |
Author | rspuzio (6075) |
Entry type | Definition |
Classification | msc 03B05 |
Synonym | disjunctive normal form |
Related topic | CNF |
Related topic | AtomicFormula |