Category:Definitions/Conjunctive Normal Form
Jump to navigation
Jump to search
This category contains definitions related to Conjunctive Normal Form.
Related results can be found in Category:Conjunctive Normal Form.
A propositional formula $P$ is in conjunctive normal form if and only if it consists of a conjunction of:
- $(1): \quad$ disjunctions of literals
and/or:
- $(2): \quad$ literals.
Pages in category "Definitions/Conjunctive Normal Form"
The following 3 pages are in this category, out of 3 total.