Скачать

Таблицы истинности

ТАБЛИЦЫ ИСТИННОСТИ

Таблица истинности логической формулы выражает соответствие между всевозможными наборами значений переменных и значениями формулы

Чтобы составить таблицу истинности для логической формулы надо выполнить следующие шаги:

Определить количество входных наборов значений переменных по формуле 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 , то есть является выполнимой