Слайд 2 Логическая операция – способ построения сложного высказывания из данных высказываний, при
![Логическая операция – способ построения сложного высказывания из данных высказываний, при котором](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1019670/slide-1.jpg)
котором значение истинности сложного высказывания полностью определяется значениями истинности исходных высказываний.
Слайд 3Инверсия (логическое отрицание)
Инверсия логической переменной истина, если переменная ложна, и, наоборот,
![Инверсия (логическое отрицание) Инверсия логической переменной истина, если переменная ложна, и, наоборот,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1019670/slide-2.jpg)
инверсия ложна, если переменная истинна.
Обозначение:
Слайд 5Конъюнкция (логическое умножение)
Конъюнкция двух логических переменных истинна тогда и только
![Конъюнкция (логическое умножение) Конъюнкция двух логических переменных истинна тогда и только тогда,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1019670/slide-4.jpg)
тогда, когда оба высказывания, истинны.
Обозначение: AWВ, еще можно АHВ
Слайд 7 Дизъюнкция (логическое
сложение)
Дизъюнкция двух логических переменных ложна тогда и
![Дизъюнкция (логическое сложение) Дизъюнкция двух логических переменных ложна тогда и только тогда,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1019670/slide-6.jpg)
только тогда, когда оба высказывания ложны.
Обозначение:
Слайд 9Импликация (логическое следование)
Импликация двух логических переменных ложна тогда и только тогда,
![Импликация (логическое следование) Импликация двух логических переменных ложна тогда и только тогда,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1019670/slide-8.jpg)
когда из истинного основания следует ложное следствие.
Обозначение:
А - условие
В - следствие
Слайд 11 Эквивалентность (логическое равенство)
Эквивалентность двух логических переменных истинна тогда и
![Эквивалентность (логическое равенство) Эквивалентность двух логических переменных истинна тогда и только тогда,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1019670/slide-10.jpg)
только тогда, когда оба высказывания одновременно либо ложны, либо истинны.
Обозначение:
Слайд 13Приоритет выполнения логических операций
При вычислении значения логического выражения (формулы) логические операции
![Приоритет выполнения логических операций При вычислении значения логического выражения (формулы) логические операции](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1019670/slide-12.jpg)
вычисляются в определенном порядке, согласно их приоритету:
1.инверсия,
2.конъюнкция,
3.дизъюнкция,
4.импликация и эквивалентность.
Операции одного приоритета выполняются слева направо. Для изменения порядка действий используются скобки.
Пример
Слайд 14Пример
Дана формула
Определите порядок вычисления.
Порядок вычисления:
Инверсия –
Конъюнкция –
Дизъюнкция –
Импликация –
![Пример Дана формула Определите порядок вычисления. Порядок вычисления: Инверсия – Конъюнкция –](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/1019670/slide-13.jpg)
Эквивалентность –