Conjunctive Normal Form
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
A formula equivalently expressed as a conjunction of disjunctions of literals, commonly used in satisfiability solving and logical normalization.