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

Een pure literaal is een literaal die in een formule alleen positief of alleen negatief voorkomt. De literaal p is bijvoorbeeld puur in (p \vee q) \wedge (\neg r \vee p).

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.