Literaal

Uit Wikipedia, de vrije encyclopedie
(Doorverwezen vanaf Literal)
Ga naar: navigatie, zoeken

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 ).

Een pure literaal is een literaal die in een formule alleen positief of alleen negatief voorkomt. De literaal is bijvoorbeeld puur in .

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.