Построение таблиц истинности логических выражений
Таблица истинности показывает значение выражения для каждой возможной комбинации его переменных. Порядок действий: 1) найти число переменных n; 2) подсчитать число операций k; 3) определить порядок операций по скобкам и приоритетам; 4) число столбцов c = n + k; 5) записать в заголовок переменные и каждую операцию; 6) число строк r = 2ⁿ (не считая заголовка); 7) записать значения переменных как двоичные числа в порядке возрастания (00, 01, 10, 11…); 8) заполнить столбцы слева направо. У каждой переменной по два значения, поэтому n переменных дают 2·2·…·2 = 2ⁿ комбинаций: 4 строки для двух переменных, 8 для трёх, 16 для четырёх. Последний столбец даёт значение всего выражения.
«Мастера таблиц»: каждая группа получает на доске выражение, сначала записывает число столбцов и строк, затем заполняет таблицу. Побеждает группа, которая первой закончит без ошибок.