Е15.26 (x < 9) → ((5y < x) → (2xy < A)) тождественно истинно

Решение:

(x < 9) → ((5y < x) → (2xy < A))

(x >= 9) + (5y >= x) + (2xy < A)
0               0                 1

(x < 9) + (5y < x) + (2xy < A)

(x < 9) => x = 8

(5y < x) => 5 * 1 < 8 => y = 1

(2xy < A) = 2*8*1 < A => A = 17

Ответ: 17