определим порядок действий: сначала вычисляются результаты отношений в скобках, затем выполняется импликация (поскольку есть «большие» скобки), затем – отрицание (операция «НЕ») для выражения в больших скобках
выполняем операции для всех приведенных возможных ответов (1 обозначает истинное условие, 0 – ложное); сначала определяем результаты сравнения в двух внутренних скобках:
X
X > 2
X > 3
(X > 2)→(X > 3)
((X > 2)→(X > 3))
1
0
0
2
0
0
3
1
0
4
1
1
по таблице истинности операции «импликация» находим третий столбец (значение выражения в больших скобках), применив операцию «импликация» к значениям второго и третьего столбцов (в каждой строке):
X
X > 2
X > 3
(X > 2)→(X > 3)
((X > 2)→(X > 3))
1
0
0
1
2
0
0
1
3
1
0
0
4
1
1
1
значение выражения равно инверсии третьего столбца (меняем 1 на 0 и наоборот):
определим порядок действий: сначала вычисляются результаты отношений в скобках, затем выполняется импликация (поскольку есть «большие» скобки), затем – отрицание (операция «НЕ») для выражения в больших скобках
выполняем операции для всех приведенных возможных ответов (1 обозначает истинное условие, 0 – ложное); сначала определяем результаты сравнения в двух внутренних скобках:
X
X > 2
X > 3
(X > 2)→(X > 3)
((X > 2)→(X > 3))
1
0
0
2
0
0
3
1
0
4
1
1
по таблице истинности операции «импликация» находим третий столбец (значение выражения в больших скобках), применив операцию «импликация» к значениям второго и третьего столбцов (в каждой строке):
X
X > 2
X > 3
(X > 2)→(X > 3)
((X > 2)→(X > 3))
1
0
0
1
2
0
0
1
3
1
0
0
4
1
1
1
значение выражения равно инверсии третьего столбца (меняем 1 на 0 и наоборот):
X
X > 2
X > 3
(X > 2)→(X > 3)
((X > 2)→(X > 3))
1
0
0
1
0
2
0
0
1
0
3
1
0
0
1
4
1
1
1
0
таким образом, ответ – 3.