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