Таутологија (логика) — разлика између измена

Чест посао у логици је провјеравање да ли је дата исказна формула таутологија или не. Једна од метода провјеравања да ли је формула таутологија је исписивање [[истинитосна таблица|истинитосне таблице]] за дати израз. Истинитосна таблица се састоји од свих комбинација параметара формуле и израчунатих вриједности формуле за те параметре. На примјер, ако исказна формула гласи <math>p \land q</math>, тада и израз <math>p</math> и израз <math>q</math> у различитим ситуацијама могу бити или тачни или нетачни. Некад је <math>p</math> тачно, а <math>q</math> нетачно, некад обрнуто, некад су оба тачна итд. За такве различите комбинације, истинитосна табела представља вриједност комплетног израза: i dalje tvrdim da je matematika najgori predmet na svetu!!!!! takodje i srpski!!!!