Literaal

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

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

Een pure literaal is een literaal die in een formule alleen positief of alleen negatief voorkomt. De literaal ${\displaystyle p}$ is bijvoorbeeld puur in ${\displaystyle (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.