Tabela verdade ou tabela de verdade são um tipo de tabela matemática usada em lógica para determinar se uma expressão é verdadeira e válida.

Tabelas verdades derivam do trabalho de Gottlob Frege, Charles Peirce e outros da década de 1880, e tomaram a forma atual em 1922 através dos trabalhos de Emil Post e Ludwig Wittgenstein. A publicação de Tractatus Logico-Philosophicus, de Wittgenstein, utilizava delas para classificar funções verdades em uma série. A vasta influência de seu trabalho levou, então, a difusão do uso de tabelas verdades.

{ ¬((A?B)?C) , (A?B)?C , A?B , A , B , C}

A negação da proposição A é a proposição ~A, de maneira que se A é verdade então ~A é falso, e vice-versa.

(A?B) ? ¬(¬A?B) ? (¬A?B) ? ¬(¬A?B)

(A?B) ? ¬(¬A?¬B) ? (¬A?B) ? ¬(A?B)