normal form

Normal forms are “standard ways of representing formulas” in propositional logic (@lewisEssentialDiscreteMathematics2019).

In any normal form:

• Only $\wedge$, $\vee$, and $\neg$ are allowed.
• Negation may only be used on literals.
• One of $\vee$ or $\wedge$ is used in regular patterns.