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

Слайд 2

Таблица истинности – таблица, показывающая, какие значения принимает составное высказывание при всех

Таблица истинности – таблица, показывающая, какие значения принимает составное высказывание при всех
сочетаниях (наборах) значений выходящих в него простых переменных

Слайд 4

Алгоритм построения таблицы истинности

Подсчитать n – число переменных в логическом выражении
Подсчитать общее

Алгоритм построения таблицы истинности Подсчитать n – число переменных в логическом выражении
количество логических операций в выражении
Установить последовательность выполнения логических операций с учетом скобок и приоритетов
Определить число столбцов в таблице: число переменных + число операций
Заполнить шапку таблицы, включив в нее переменные и операции в соответствии с последовательностью, установленной в пункте 3
Определить число строк в таблице по формуле m = 2n + 1
Выписать наборы входных переменных
Заполнить таблицу

Слайд 5

Построить таблицу истинности, для выражения A & (B v ¬B & ¬C)

Считаем

Построить таблицу истинности, для выражения A & (B v ¬B & ¬C)
число переменных: A B C - 3
Считаем логические операции: &v¬&¬ - 5
Устанавливаем последовательность действий:
¬B
¬C
¬B & ¬C
B v (¬B & ¬C)
A & (B v ¬B & ¬C)
Находим количество столбцов: 3 + 5 = 8 (пункт 1 + пункт 2)
Находим количество строк: 23 + 1 = 9

Слайд 6

Требуется определить истинность логического выражения N(A,B) = (A v B) & (¬A

Требуется определить истинность логического выражения N(A,B) = (A v B) & (¬A
v ¬B)

Считаем число переменных: A B - 2
Считаем логические операции: v&¬v¬ - 5
Устанавливаем последовательность действий:
A v B
¬A
¬B
¬A v ¬B
(A v B) & (¬A v ¬B)
Находим количество столбцов: 2 + 5 = 7 (пункт 1 + пункт 2)
Находим количество строк: 22 + 1 = 5

Логическое выражение принимает значение ИСТИНА при наборах N(0,1) = 1 и N(1,0) = 1