Табли́ца и́стинности (истинностная таблица), таблица, выражающая истинностное значение сложного высказывания через истинностные значения входящих в него простых высказываний. Таблица истинности имеет вид (И означает «истина», Л – «ложь»):

Здесь $A_1,\ldots,A_n$ – пропозициональные переменные, $\mathfrak A(A_1, \ldots, A_n)$ – высказывательная форма, причём истинностное значение высказывания $\mathfrak A(A_1,\ldots,A_n)$ определяется истинностными значениями высказываний $A_1,\ldots,A_n$. Каждая строка таблицы соответствует одной из $2^n$ возможных комбинаций истинностных значений $n$ высказываний. При этом $V_i$ есть истинностное значение высказывания $\mathfrak A(A_1,\ldots,A_n)$, если высказывания $A_1,\ldots,A_n$ имеют истинностные значения, указанные в $i$-й строке. С помощью таблиц истинности в математической логике определяются истинностные функции, соответствующие таким логическим связкам, как отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. В классической логике высказываний таблицы истинности применяются для проверки общезначимости формул: формула общезначима тогда и только тогда, когда в последнем столбце таблицы все $V_i$ суть И.