In de [[wiskundige logica]] is een '''literaal''' (Engels: '''literal''') een [[Atoom (logica)|atomaire formule]] (ook wel atoom genoemd) of de [[logische negatie|negatie]] ervan. Literals kunnen onderverdeeld worden in:
*een '''positieve literalliteraal''': een atoom (bijvoorbeeld <math>p</math>).
*een '''negatieve literalliteraal''': de negatie van een atoom (bijvoorbeeld <math>\neg p</math>).
Een '''pure literalliteraal''' is een literalliteraal die in een formule alleen positief of alleen negatief voorkomt. De literalliteraal <math>p</math> is bijvoorbeeld puur in <math>(p \vee q) \wedge (\neg r \vee p)</math>.
Twee literalsliteralen zijn '''complementair''' als de ééneen de negatie is van de ander, bijvoorbeeld ''p'' en ¬''p''.
Een literalliteraal is '''maximaal''' in een [[Clausule (logica)|clausule]] als de literalliteraal de grootste is op basis van een bepaalde ordening van literalsliteralen.
