Чест посао у логици је провјеравањепроверавање да ли је дата исказна формула таутологија или не. Једна од метода провјеравањапроверавања да ли је формула таутологија је исписивање [[истинитосна таблица|истинитосне таблице]] за дати израз. Истинитосна таблица се састоји од свих комбинација параметара формуле и израчунатих вриједностиврједности формуле за те параметре. На примјер, ако исказна формула гласи <math>p \land q</math>, тада и израз <math>p</math> и израз <math>q</math> у различитим ситуацијама могу бити или тачни или нетачни. Некад је <math>p</math> тачно, а <math>q</math> нетачно, некад обрнуто, некад су оба тачна итд. За такве различите комбинације, истинитосна табела представља вриједностврједност комплетног израза:
{| border="1"
|-
Ред 31:
|}
Наравно, уколико установимо да су све вриједностиврједности у посљедњој колони једнаке <math>\top</math>, онда је исказ тачан у свим случајевима тј. исказ је таутологија. Истинитосна табела за споменути исказ <math>p \lor \lnot q</math> би изгледала на сљедећи начин:
{| border="1"
Ред 51:
== Историја ==
Ријеч таутологија је настала од грчке ријечи ''-{ταυτολογία}-'', која је код старих Грка означавала исказ који је тачан само зато што је понављан више пута (нпр. у аналогији са српском пословицом „сто пута речена лаж постаје истина“). Иако је због тога ријеч имала погрдну конотацију, од [[19. век|19. вијекавиека]] та ријеч је добила ново значење, без погрдне конотације, означавајући исказе чија је вриједноствредност увијек „тачно“.
