ТАБЛИЦЫ ИСТИННОСТИ
Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы
Чтобы составить таблицу истинности для логической формулы надо выполнить следующие шаги:
Определить количество входных наборов значений переменных по формуле Q =2 n , где n -количество входных переменных, для двух переменных Q =4. для трех Q =8 и т.д
Определить порядок выполнения операций в формуле
Найти значения промежуточных формул и конечного результата
Таблица истинности для формулы   ( Q =8):
Переменные
Промежуточные логические формулы
Формула











0
0
0
1
1
0
1
0
0

0
0
1
1
1
0
1
1
1

0
1
0
0
0
1
1
0
1

0
1
1
0
0
1
1
1
1

1
0
0
1
1
0
0
0
0

1
0
1
1
1
0
0
0
0

1
1
0
0
1
0
0
0
0

1
1
1
0
1
0
0
0
0

Из таблицы видно, что формула в некоторых случаях принимает значение 1, а в некоторых — 0 , то есть является выполнимой