Слайд 2
![ПОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ ДЛЯ СЛОЖНЫХ ВЫРАЖЕНИЙ](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/173913/slide-1.jpg)
ПОСТРОЕНИЕ ТАБЛИЦ ИСТИННОСТИ ДЛЯ СЛОЖНЫХ ВЫРАЖЕНИЙ
Слайд 3
![Таблица истинности составных высказываний – это таблица, показывает какие значения](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/173913/slide-2.jpg)
Таблица истинности составных высказываний – это таблица, показывает какие значения
принимает составное высказывание при всех сочетаниях значений входящих в него простых высказываний.
Слайд 4
![ЦЕЛЬ УРОКА: изучить принципы построения таблиц истинности для сложных выражений.](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/173913/slide-3.jpg)
ЦЕЛЬ УРОКА:
изучить принципы построения таблиц истинности для сложных выражений.
Слайд 5
![АЛГОРИТМ ПОСТРОЕНИЯ ТАБЛИЦ ИСТИННОСТИ ДЛЯ СЛОЖНЫХ ВЫРАЖЕНИЙ Определить количество переменных](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/173913/slide-4.jpg)
АЛГОРИТМ ПОСТРОЕНИЯ ТАБЛИЦ ИСТИННОСТИ ДЛЯ СЛОЖНЫХ ВЫРАЖЕНИЙ
Определить количество переменных (простых выражений);
Определить количество логических операций и последовательность их выполнения.
Определить количество строк:
количество строк = 2ª + строка для заголовка,
где a – количество логических переменных.
Определить количество столбцов: количество столбцов = количество переменных + количество логических операций;
Заполнить столбцы результатами выполнения логических операций в обозначенной последовательности с учетом таблиц истинности основных логических операций.
Слайд 6
![А & (B V C) Решение: Простые выражения (логические переменные):](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/173913/slide-5.jpg)
А & (B V C)
Решение:
Простые выражения (логические переменные): А, В, С;
(3)
Количество логических операций: ¬ А - инверсия; B ∨ C - операция дизъюнкции; ¬ А & (B ∨ C)- операция конъюнкции. Всего: 3
Количество строк: на входе три простых высказывания: А, В, С, поэтому a=3 и количество строк = 2³ +1 = 9.
Количество столбцов: 3+3=6
Заполняем столбцы с учетом таблиц истинности логических операций.
Слайд 7
![](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/173913/slide-6.jpg)
Слайд 8
![D = А V B & C](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/173913/slide-7.jpg)
Слайд 9
![](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/173913/slide-8.jpg)
Слайд 10
![КРИТЕРИИ ОЦЕНИВАНИЯ: «5» – «4» – «3» - «2» -](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/173913/slide-9.jpg)
КРИТЕРИИ ОЦЕНИВАНИЯ:
«5» –
«4» –
«3» -
«2» -