Disjunctive Normal Form
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A formula equivalently expressed as a disjunction of conjunctions of literals, often used for analysis of Boolean structure and simplification.