Disjunctive Normal Form/Examples/Conjunction

From ProofWiki
Jump to navigation Jump to search

Examples of Disjunctive Normal Form

$p \land q$

is in disjunctive normal form, as it is a trivial (one-element) disjunction of a conjunction of literals.