Построение таблиц истинности для логических выражений

Тема урока:
«Построение таблиц истинности
для логических выражений»
Таблица истинности – это таблица, которая показывает, какие значения принимает заданное логическое выражение при все возможных наборах значений переменных.
Например, F = А V A & B
Обозначение логического выражения
Логические переменные
Логические операции

Дано логическое выражение А V A & B
Количество переменных - 2 (А и В),
Количество значений - 22 = 4.
Приоритет операций: &, V
Пример
РТ № 83 (98) а).
Всевозможные значения переменных А и В.
Значения логических операций

РТ №83 (новая РТ №98) б)
0
1
1
1
0
0
1
1
Смотрим столбцы 1 и 3
Дано логическое выражение А & (AV B)
Количество переменных - 2 (А и В),
Количество значений - 22 = 4.
Приоритет операций: V, & (т.к. есть скобки)

РТ № 83 е)
Количество переменных – 3 (А, В и С)
Количество значений - 23 = 8.
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
1
1
0
1
0
1
0
0
0
Смотрим столбцы 1 и 2
Смотрим столбцы 4 и 3

Алгоритм построения таблиц истинности для логических выражений (учеб., стр.29)
подсчитать n - число переменных в выражении
подсчитать общее число логических операций в выражении
установить последовательность выполнения логических операций
определить число столбцов в таблице
заполнить шапку таблицы, включив в неё переменные и операции
определить число строк в таблице без шапки: m =2n
выписать наборы входных переменных
провести заполнение таблицы по столбцам, выполняя логические
операции в соответствии с установленной последовательностью