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