Содержание
-
Знакомство с алгеброй логики
Построение таблиц истинности сложных высказываний
-
Приоритет логических операций
При вычислении значения логического выражения (формулы) логические операции вычисляются в определенном порядке, согласно их приоритету: Инверсия Конъюнкция Дизъюнкция Импликация и эквивалентность Операции одного приоритета выполняются слева направо. Для изменения порядка действий используются скобки.
-
Алгоритм построения таблиц истинности сложного высказывания
Вычислить количество строк и столбцов таблицы истинности Начертить таблицу и заполнить заголовок Заполнить первые 2, (3, …) столбца Заполнить остальные столбцы
-
Пример
Построить таблицу истинности для высказывания E = A B C
-
Вычисление количества строк и столбцов таблицы истинности
Количество строк равно2 n+ 2 где n - количество простых высказываний; 2 – строки заголовка Количество столбцов равно сумме количества переменных (n) и количества логических операций, входящих в сложное высказывание В нашем случае n=3 (т.к. в высказывание Е входят три переменные А, В, С) и 4 логические операции: инверсия В, инверсия С, дизъюнкция и импликация. В нашем случае имеем: 23 + 2 = 10 строк 3 + 4 = 7 столбцов
-
Начертить таблицу и заполнить заголовок
-
Заполнение первых трех столбцов таблицы
-
Заполнение остальных столбцов
-
Задание
Вычислить значение функции: F = С или (В и А или С); F = А и В или В или А и С; F = А и (А или В);
Нет комментариев для данной презентации
Помогите другим пользователям — будьте первым, кто поделится своим мнением об этой презентации.