tõeväärtustabelites
Tõeväärtustabelites, tuntud ka kui Booli tabelid, on matemaatikas ja loogikas kasutatav tabel, mis näitab loogilise funktsiooni või avaldise tõeväärtusi kõigi võimalike sisendite kombinatsioonide korral. Need tabelid on eriti kasulikud propositsioonilises loogikas, kus avaldised koosnevad propositsioonidest (tõestest või vääradest väidetest) ja loogilistest operaatoritest nagu AND (ning), OR (ehk) ja NOT (mitte).
Tõeväärtustabeli koostamisel on igal propositsioonil oma veerg ja iga võimalik tõeväärtuste kombinatsioon moodustab oma rea. Tabeli
Nende tabelite kasutamine võimaldab süstemaatiliselt kontrollida avaldiste ekvivalentsust (kas kaks erinevat avaldist annavad alati sama tulemuse)