Слайд 2
![Приоритет логических операций При вычислении значения логического выражения (формулы) логические](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/444924/slide-1.jpg)
Приоритет логических операций
При вычислении значения логического выражения (формулы) логические операции вычисляются
в определенном порядке, согласно их приоритету:
Инверсия
Конъюнкция
Дизъюнкция
Импликация и эквивалентность
Операции одного приоритета выполняются слева направо.
Для изменения порядка действий используются скобки.
Слайд 3
![Алгоритм построения таблиц истинности сложного высказывания Вычислить количество строк и](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/444924/slide-2.jpg)
Алгоритм построения таблиц истинности сложного высказывания
Вычислить количество строк и столбцов таблицы
истинности
Начертить таблицу и заполнить заголовок
Заполнить первые 2, (3, …) столбца
Заполнить остальные столбцы
Слайд 4
![Пример Построить таблицу истинности для высказывания E = A B C](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/444924/slide-3.jpg)
Пример
Построить таблицу истинности для высказывания
E = A B C
Слайд 5
![Вычисление количества строк и столбцов таблицы истинности Количество строк равно](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/444924/slide-4.jpg)
Вычисление количества строк и столбцов таблицы истинности
Количество строк равно 2 n
+ 2
где n - количество простых высказываний;
2 – строки заголовка
Количество столбцов равно сумме количества переменных (n) и количества логических операций, входящих в сложное высказывание
В нашем случае n=3 (т.к. в высказывание Е входят три переменные А, В, С) и 4 логические операции: инверсия В, инверсия С, дизъюнкция и импликация.
В нашем случае имеем: 23 + 2 = 10 строк
3 + 4 = 7 столбцов
Слайд 6
![Начертить таблицу и заполнить заголовок](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/444924/slide-5.jpg)
Начертить таблицу и заполнить заголовок
Слайд 7
![Заполнение первых трех столбцов таблицы](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/444924/slide-6.jpg)
Заполнение первых трех столбцов таблицы
Слайд 8
![Заполнение остальных столбцов](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/444924/slide-7.jpg)
Заполнение остальных столбцов