Для решения данной задачи необходимо построить таблицу истинности для формулы (a → b)V(-c – (b)) и определить, существуют ли такие значения переменных a, b и c, при которых формула будет принимать значение истины.
Для этого следует создать таблицу, в которой будут указаны все возможные комбинации значений переменных a, b и c, а затем вычислить значение формулы для каждой такой комбинации.
Таблица истинности для формулы (a → b)V(-c – (b)) будет выглядеть следующим образом:
a | b | c | -c | (a → b) | -c – (b) | (a → b)V(-c – (b))
——————————————————
0 | 0 | 0 | 1 | 1 | -1 | 1
0 | 0 | 1 | -1 | 1 | -1 | 1
0 | 1 | 0 | 1 | 1 | -1 | 1
0 | 1 | 1 | -1 | 1 | -1 | 1
1 | 0 | 0 | 1 | 0 | -1 | 0
1 | 0 | 1 | -1 | 0 | -1 | 1
1 | 1 | 0 | 1 | 1 | -1 | 1
1 | 1 | 1 | -1 | 1 | -1 | 1
Таким образом, из таблицы видно, что при некоторых значениях переменных a, b и c формула (a → b)V(-c – (b)) принимает значение истины. Следовательно, формула является выполнимой.