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 |