Построение таблиц истинности

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

Для того чтобы построить таблицу истинности логического выражения, достаточно:

1) определить число строк таблицы m = 2ⁿ, где n — число переменных в логическом выражении;

2) определить число столбцов таблицы как сумму чисел логических переменных и логических операций в логическом выражении;

3) установить последовательность выполнения логических операций с учётом скобок и приоритетов операций;

4) заполнить строку с заголовками столбцов таблицы истинности, занеся в неё имена логических переменных и номера выполняемых логических операций;

5) выписать наборы входных переменных с учётом того, что они представляют собой ряд целых n-разрядных двоичных чисел от 0 до 2ⁿ - 1;

6) провести заполнение таблицы истинности по столбцам, выполняя логические операции.

Пример 1. Построим таблицу истинности для логического выражения

В этом выражении две логические переменные и пять логических операций. Всего в таблице истинности будет пять строк (2² плюс строка заголовков) и 7 столбцов.

Начнём заполнять таблицу истинности с учётом следующего порядка выполнения логических операций: сначала выполняются операции отрицания (в порядке следования), затем операции конъюнкции (в порядке следования), последней выполняется дизъюнкция.

Обратите внимание на последний столбец, содержащий конечный результат. Какой из рассмотренных логических операций он соответствует?

Логические выражения, зависящие от одних и тех же логических переменных, называются равносильными или эквивалентными, если для всех наборов входящих в них переменных значения выражений в таблицах истинности совпадают.

Таблица истинности, построенная в предыдущем примере, доказывает равносильность выражений и А ↔ B.

Можно записать:

С помощью таблиц истинности докажите равносильность выражений А ↔ В и

Функцию от n переменных, аргументы которой и сама функция принимают только два значения — 0 и 1, называют логической функцией. Таблица истинности может рассматриваться как способ задания логической функции.