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