Concept
Negation normal form
Overview
well-formed formula in which negation is only applied to variables and the only other allowed Boolean operators are conjunction and disjunction
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Negation
- Logical conjunction
- Propositional logic
- Mathematical logic
- Modal logic
- Boolean algebra
- De Morgan's laws
- Material conditional
- Context-free grammar
- Distributive property
Place in the tradition
Part of Outline of logic.