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