Урок 23
§19. Таблицы истинности

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

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

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

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

Cкачать материалы урока