Для того чтобы найти значение Q при котором f(5,Q) будет верно, мы можем последовательно подставлять значения в функцию f, используя уже известные нам факты.

Исходно у нас есть, что f(0,1) (истинно) и f(1,1) (истинно). Затем используем определение функции f(A,B), где C = A - 1, f(C,D).

Подставляем f(0,1):
C = 0 - 1
С = -1
f(-1, D)

Подставляем f(1,1):
C = 1 - 1
C = 0
f(0, D)

Теперь у нас есть f(-1, D) и f(0, D). Для того чтобы найти значение Q при котором f(5,Q) будет верно, мы должны последовательно подставить все значения:

Подставляем f(-1, D):
C = -1 - 1
C = -2
f(-2, D)

Подставляем f(0, D):
C = 0 - 1
C = -1
f(-1, D)

Подставляем f(-2, D):
C = -2 - 1
C = -3
f(-3, D)

Подставляем f(-1, D):
C = -1 - 1
C = -2
f(-2, D)

Таким образом, мы видим, что значение Q при котором f(5,Q) будет верно, равно -3. Поэтому f(5,-3) будет истинным.