🗊Презентация Построение таблиц истинности логических выражений

Построение таблиц истинности логических выражений Пляшешник А.В. Учитель информатики и ИКТ МОУ СОШ №5 города Ржева Тверской области высшая квалификационная категория

Алгоритм построения таблиц истинности для сложных выражений: Определить последовательность выполнения логических операций (расставить порядок действий как в математике); Определить количество различных переменных (простых выражений n); Определить количество строк (количество различных наборов 0 и 1): количество строк = 2n , n - количество простых высказываний; Подписать различные значения переменных используя следующее правило: под первой переменной записать 2n/2 0, а затем такое же количество 1; под второй переменной (и на каждом следующем шаге) в два раза меньше 0, чем в предыдущей переменной, и в 2 раза меньше 1; последняя переменная – всегда чередование о и 1. Выполнить логические операции по порядку. При этом зачёркиваем столбцы, которые уже обработали. Для каждого действия берём первые не зачёркнутые значения с права и с лева. Столбец, полученный в результате выполнения последнего действия, и есть результат.

Рассмотрим данный алгоритм на конкретном примере. Составить таблицу истинности логического выражения ┐А&(B V ┐C)

Перепишем данную формулу так, что бы внизу было достаточно места

1 шаг алгоритма (порядок действий)

2 шаг алгоритма (количество различных переменных) В данном выражении 3 различных переменных (n=3).

3 шаг алгоритма (найти количество строк)

4 шаг алгоритма (заполняем таблицу) ┐А&(B V ┐C) 0 0 0 0 1 1 1 1

5 шаг алгоритма (выполняем действия) ┐А&(B V ┐C) 0 0 0 0 1 1 1 1