Similar presentations:
Логические операции
1. Логические операции
2.
Логическая операция – способ построениясложного
высказывания
из
данных
высказываний, при котором значение истинности
сложного высказывания полностью определяется
значениями истинности исходных высказываний.
3. Инверсия (логическое отрицание)
Инверсия логической переменной истина,если переменная ложна, и, наоборот,
инверсия ложна, если переменная истинна.
Обозначение: A
4.
Таблица истинностиА
A
1
0
0
1
5. Конъюнкция (логическое умножение)
Конъюнкция двух логических переменныхистинна тогда и только тогда, когда оба
высказывания, истинны.
Обозначение: AWВ, еще можно АHВ
6. Таблица истинности
А1
1
0
0
B
1
0
1
0
АWВ
1
0
0
0
7. Дизъюнкция (логическое сложение)
Дизъюнкция двух логических переменныхложна тогда и только тогда, когда оба
высказывания ложны.
Обозначение: A B
8. Таблица истинности
А1
1
0
0
B
1
0
1
0
A B
1
1
1
0
9. Импликация (логическое следование)
Импликация двух логических переменныхложна тогда и только тогда, когда из истинного
основания следует ложное следствие.
Обозначение: A B
А - условие
В - следствие
10. Таблица истинности
А1
1
0
0
B
1
0
1
0
A B
1
0
1
1
11. Эквивалентность (логическое равенство)
Эквивалентностьдвух
логических
переменных истинна тогда и только тогда, когда
оба высказывания одновременно либо ложны,
либо истинны.
Обозначение: A B
12. Таблица истинности
А1
1
0
0
B
1
0
1
0
A B
1
0
0
1
13. Приоритет выполнения логических операций
При вычислении значения логического выражения(формулы) логические операции вычисляются в
определенном порядке, согласно их приоритету:
1.инверсия,
2.конъюнкция,
3.дизъюнкция,
4.импликация и эквивалентность.
Операции одного приоритета выполняются слева
направо.
Для
изменения
порядка
действий
используются скобки.
Пример
14. Пример
Дана формулаA B C D A
Определите порядок вычисления.
Порядок вычисления:
Инверсия – A
Конъюнкция – C D
Дизъюнкция – A B
Импликация – A B C D
Эквивалентность –
A B C D A