
Which description best defines a formula in negation normal form (NNF)?
Medium
Create a free account to see more questions and build your own quiz.
Get StartedWhich description best defines a formula in negation normal form (NNF)?
Options:
- Negations apply only to atomic propositions and the formula uses only ∧ and ∨
- The formula has no quantifiers and is quantifier-free
- A conjunction of disjunctions of literals (CNF)
- A formula using only implication and negation
Correct answer: Negations apply only to atomic propositions and the formula uses only ∧ and ∨
Explanation: NNF requires that negation occurs only on atomic formulas and that only ∧ and ∨ are used. Conversion to NNF employs De Morgan's laws and pushing negation inward as the mechanism.
Created . Updated .