Содержание
-
Логические операции
Иванова Юлия
-
Логическая операция – способ построения сложного высказывания из данных высказываний, при котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.
-
Инверсия (логическое отрицание)
Инверсия логической переменной истина, еслипеременная ложна, и, наоборот, инверсия ложна, если переменная истинна. Обозначение:
-
Таблица истинности
-
Конъюнкция (логическое умножение)
Конъюнкция двух логических переменных истиннатогда и только тогда, когда оба высказывания, истинны. Обозначение:
-
Таблица истинности
-
Дизъюнкция(логическоесложение)
Дизъюнкция двух логических переменных ложнатогда и только тогда, когда оба высказывания ложны. Обозначение:
-
Таблица истинности
-
Импликация(логическое следование)
Импликация двух логических переменныхложнатогда и только тогда, когда изистинногооснования следует ложное следствие. Обозначение: А - условие В-следствие
-
Таблица истинности
-
Эквивалентность(логическое равенство)
Эквивалентность двух логических переменныхистинна тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. Обозначение:
-
Таблица истинности
-
Приоритет выполнения логических операций
При вычислении значения логического выражения (формулы) логические операции вычисляются в определенном порядке, согласно их приоритету: 1.инверсия, 2.конъюнкция, 3.дизъюнкция, 4.импликация и эквивалентность. Операции одного приоритета выполняются слева направо. Для изменения порядка действий используются скобки. Пример
-
Пример
Дана формула Определите порядок вычисления. Порядок вычисления: Инверсия – Конъюнкция – Дизъюнкция – Импликация – Эквивалентность –
Нет комментариев для данной презентации
Помогите другим пользователям — будьте первым, кто поделится своим мнением об этой презентации.