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
). - een negatieve literaal: de negatie van een atoom (bijvoorbeeld ).