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

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

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

Построить таблицу истинности, для выражения 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

Требуется определить истинность логического выражения
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