Literal

logic

Definition

Literal

A literal is an atom or the negation of an atom.

• A positive literal is an atom $p$.
• A negative literal is the negation $\neg p$ of an atom.

Every clause and every conjunctive normal form is built from literals.

Examples

Example

$p$ and $\neg q$ are literals.

Example

$\neg \neg p$ is not a literal, because it is the negation of $\neg p$, not of an atom.