У таблице истинитости је стратегија логика једноставно да утврди валидност неколико предлога у вези са било коју ситуацију, односно, одређује услове неопходне да би било истинито предложену изјаву, омогућавајући сврстати у таутолошка (важе и за сваку ситуацију) контрадикторне (изјаве су у већини случајева нетачне) или непредвиђене (изјаве које не могу бити много истините и нетачне нису склоне једном смеру).
Омогућава различите аспекте изјаве, попут услова који је чине истинитом и који су њени логички закључци, односно да ли је предложена изјава тачна или нетачна. Ову табелу је осмислио Цхарлес Сандер Пеирце око 1880. године, али најчешће коришћени је ажурирани модел Луидвина Виттгенстеина 1921. године.
Конструкција табеле заснива се на употреби слова за променљиве резултата и оне су испуњене и каже се да су истините, у супротном случају да нису испуњене, додељује им се име фалсе, на пример: Изјава: "Ако се преселимо, мој пас умире . " Променљиве: А: Ако се креће- Б: пас умире.
Ако се каже да је тачно за обе променљиве, додељује се слово (В) и представља позитивност исказа, ако неке од променљивих нису испуњене, додељује им се слово (Ф), то не представља нетачност исказа, јер са Ако је задовољена само једна променљива, она се може означити као тачна, што ће зависити од израза. Када су обе вредности истините у свим приликама, каже се да у изјави постоји коњугација, с друге стране, ако се добију два истинита резултата, а затим један истинит, а други нетачан, каже се да постоји дисјункција.
