ТАБЛИЦЫ ИСТИННОСТИ Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы Чтобы составить таблицу истинности для логической формулы надо выполнить следующие шаги: Определить количество входных наборов значений переменных по формуле 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 , то есть является выполнимой