Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы.

Для формулы, которая содержит две переменные, таких наборов значений переменных всего четыре:

(Л, Л),     (Л, И),     (И, Л),     (И, И).

Если формула содержит три переменные, то возможных наборов значений переменных восемь:

(Л, Л, Л),     (Л, Л, И),     (Л, И, Л),     (Л, И, И),     (И, Л, Л),     (И, Л, И),     (И, И, Л),     (И, И, И).

Количество наборов для формулы с четырьмя переменными равно шестнадцати и т.д.

Удобной формой записи при нахождении значений формулы является таблица, содержащая кроме значений переменных и значений формулы также и значения промежуточных формул.