Tõe-väärtus, loogika, tõde (T või 1) ja võltsitud (F või 0) antud propositsiooni või avaldusega. Loogilisi ühendusi, näiteks disjunktsiooni (sümboliseeritakse ∨ „või” jaoks) ja eitamist (sümboliseeritakse ∼), võib pidada tõefunktsioonideks, kuna liitlause tõeväärtus on funktsioon või sõltub sellest sõltuvast kogusest, selle komponentide tõeväärtused.
Liitlause tõeväärtust saab hõlpsalt kontrollida tõestustabelina tuntud diagrammi abil. Tabeli iga rida tähistab ühendi komponendi ettepanekute tõeväärtuste võimalikku kombinatsiooni ja ridade arv määratakse võimalike kombinatsioonide arvuga. Näiteks kui ühend sisaldab ainult kahte komponendi pakkumist, on neli võimalust ja seega neli rida tabelini. Ühiste ühenduste loogilisi omadusi võib tõestabelites kuvada järgmiselt:
milles · tähistab “ja” ja ⊃ tähistab “kui”… siis. ” (Näiteks tabeli „või” teine rida kõlab järgmiselt: „Kui p on tõene ja q on vale, siis p ∨ q on tõene.“) Palju keerukamad tõetabelid, need, millel on palju tõefunktsioone, saab konstrueerida arvuti abil. Loodud on abstraktsed abstraktsed süsteemid, mis kasutavad kolme tõeväärtust (nt tõene, vale ja määramatu) või isegi paljusid, nagu näiteks häguses loogikas, kus väidetel on väärtused vahemikus 0 kuni 1.
