Brontekst bekijken van Literaal

In de [[wiskundige logica]] is een '''literaal''' (Engels: ''literal'') een [[Atoom (logica)|atomaire formule]] (ook wel atoom genoemd) of de [[logische negatie|negatie]] ervan. Het woord ''literaal'' wordt vooral gebruikt om de elementen van [[Clausule (logica)|clausule]]s van formules in [[conjunctieve normaalvorm]] te benoemen.

Een literaal wordt ''positief'' genoemd als het een atoom is, en ''negatief'' als het de negatie van een atoom is. 

Een ''pure literaal'' is een literaal die in een formule alleen positief of alleen negatief voorkomt. De literaal <math>p</math> is bijvoorbeeld puur in <math>(p \vee q) \wedge (\neg r \vee p)</math>, waar <math>p</math>, <math>q</math> en <math>r</math> atomen zijn.

Een atoom en z'n negatie worden ''complementaire'' literalen genoemd.

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

[[Categorie:Logica]]