Category:Definitions/Disjunctive Normal Form

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Disjunctive Normal Form.
Related results can be found in Category:Disjunctive Normal Form.


A propositional formula $P$ is in disjunctive normal form if and only if it consists of a disjunction of:

$(1): \quad$ conjunctions of literals

and/or:

$(2): \quad$ literals.

Pages in category "Definitions/Disjunctive Normal Form"

The following 3 pages are in this category, out of 3 total.