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