Взаимно однозначное сопоставление набора значений переменных, составляющих формулу логики, и соответствующее этому набору значение полученной формулы, задаёт ТАБЛИЦА ИСТИННОСТИ.

Вот как это работает:

1. Каждая логическая формула состоит из переменных и логических операций.
2. Для каждого набора значений переменных (например, истинно или ложно) вычисляется значение всей формулы.
3. Таблица истинности представляет собой список всех возможных наборов значений переменных и соответствующих значений формулы.
4. Это позволяет увидеть, как формула ведет себя при различных входных данных.

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