totuusarvoliteraalit

Totuusarvoliteraalit ovat käsite muodollisessa logiikassa ja tietojenkäsittelytieteessä, jolla tarkoitetaan literaaleja, jotka ilmaisevat totuusarvon suoraan ilman riippuvuutta muista muuttujista. Käytännössä totuusarvoliteralit voivat olla vakioita, kuten totuusarvot true ja false, jotka ovat aina voimassa riippumatta muista lausekkeista. Totuusarvoliteraalit erotetaan tavallisista literaaleista, jotka ovat muuttujia tai niiden negaatioita (esimerkiksi p tai ¬p).

Siirtymä totuusarvoliteralien käsitteestä perinteisiin literaaleihin riippuu kielestä ja muodollisesta järjestelmästä. Usein lauseke- ja laskentamaailmassa literaaleina pidetään muuttujia ja niiden negaatioita, kun taas totuusarvoliteralit ovat kiinteitä totuusarvoja, jotka eivät riipu muista osista. Joissakin formaaleissa kielissä totuusarvot voivat esiintyä erillisinä vakioina, joita ei tarvitse tulkita muuttujien arvon mukaan.

Sovelluksissa totuusarvoliteralit voivat helpottaa logiikan laskentaa ja muotojen optimointia. Esimerkiksi niiden avulla voidaan tiukentaa tai yksinkertaistaa CNF- tai SAT-laskentaa sekä mallintamistehtäviä, kun halutaan jokin osa lausekkeesta kiinnittää aina totuuteen tai epätotuuteen. Ne voivat myös helpottaa todistusten ja kontrollikuvauksien kirjoittamista.

Huomioitavaa on, että termien tarkka käyttö voi vaihdella lähteestä riippuen: joissain yhteyksissä totuusarvovakiot eivät ole osa literaaleja, vaan ne nähtäisiin erillisinä totuusarvotekijöinä. Katso myös totuusarvo, literaali, CNF ja SAT.