Слайд 2
![Ключевые слова таблица истинности](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/125283/slide-1.jpg)
Ключевые слова
таблица истинности
Слайд 3
![Таблицы истинности Решение логических выражений принято оформлять в виде таблиц,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/125283/slide-2.jpg)
Таблицы истинности
Решение логических выражений принято оформлять в виде таблиц, в которых
по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных
Слайд 4
![Определение Таблица истинности - это таблица, с помощью которой устанавливается](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/125283/slide-3.jpg)
Определение
Таблица истинности - это таблица, с помощью которой устанавливается истинностное значение
сложного высказывания при всех значениях входящих в него простых высказываний.
Слайд 5
![Построение таблиц истинности для логических выражений Количество строк = 2n+1,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/125283/slide-4.jpg)
Построение таблиц истинности
для логических выражений
Количество строк = 2n+1, где n
— количество переменных.
Количество столбцов = количество переменных + количество логических операций.
Установить последовательность выполнения логических операций.
Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных.
Заполнить таблицу истинности по столбцам.
Слайд 6
![Пример 1 Построим таблицу истинности для функции F = (А](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/125283/slide-5.jpg)
Пример 1
Построим таблицу истинности для функции
F = (А ∨ В)
∧ (¬A ∨ ¬B)
Переменных: две (А и В), т.е. N = 2 ⇒ количество строк: 2n=22=4.
С заголовком: 5
Количество столбцов:
2 переменные + 5 операций (∨,∧,¬,∨ и ¬).
Итого 7
Порядок операций:
1 5 2 4 3
F = (А ∨ В) ∧ (¬A ∨ ¬B)
Слайд 7
![Пример 1. Таблица 0 1 1 1 1 1 0](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/125283/slide-6.jpg)
Пример 1. Таблица
0
1
1
1
1
1
0
0
F = (А ∨ В) ∧ (¬A ∨ ¬B)
1
0
1
0
1
1
1
0
0
1
1
0
Слайд 8
![Пример 2 Построим таблицу истинности для функции F = X](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/125283/slide-7.jpg)
Пример 2
Построим таблицу истинности для функции
F = X ∨ Y
∧ ¬Z
Переменных:
три (X, Y и Z), т.е. n = 3 ⇒ количество строк: 2n=23=8.
С заголовком: 9
Количество столбцов:
3 переменные + 3 операции (∨,∧,¬).
Итого 6
Порядок операций:
3 2 1
F = X ∨ Y ∧ ¬Z
Слайд 9
![Пример. Таблица 0 0 0 0 1 1 1 1](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/125283/slide-8.jpg)
Пример. Таблица
0
0
0
0
1
1
1
1
F = X ∨ Y ∧ ¬Z
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
1
0
1
0
1
0
1
0
0
0
1
0
0
0
1
0
0
0
1
0
1
1
1
1
3 2 1
Слайд 10
![Таблицы истинности для основных логических операций: Самое главное](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/125283/slide-9.jpg)
Таблицы истинности для основных логических операций:
Самое главное