Literal

A literal is a formula of the form $p$ or $\mathrm{\neg }p$, where $p$ is a propositional variable.

• A literal of the form $p$, is also called a positive literal

• A literal of the form $\mathrm{\neg }p$, is called a negative literal