Literaal

In de wiskundige logica is een literaal (Engels: literal) een atomaire formule (ook wel atoom genoemd) of de negatie ervan. Literals kunnen onderverdeeld worden in:

• een positieve literaal: een atoom (bijvoorbeeld $p$).
• een negatieve literaal: de negatie van een atoom (bijvoorbeeld $\neg p$).

Een pure literaal is een literaal die in een formule alleen positief of alleen negatief voorkomt. De literaal $p$ is bijvoorbeeld puur in $(p \vee q) \wedge (\neg r \vee p)$.

Twee literalen zijn complementair als de een de negatie is van de ander, bijvoorbeeld p en ¬p.

Een literaal is maximaal in een clausule als de literaal de grootste is op basis van een bepaalde ordening van literalen.