формула ((x ≤ 9) →(x⋅x ≤ A)) ⋀ ((y⋅y ≤ A) → (y ≤ 9)) тождественно истинна
Демонстрационный вариант ЕГЭ 2018 г. – задание №18
Для какого наибольшего целого числа А формула
((x ≤ 9) →(x⋅x ≤ A)) ⋀ ((y⋅y ≤ A) → (y ≤ 9))
тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?
Решение:
x>9 + x.x≤A => A≥81
y.y>A + y≤9 => при y=10, 100>A => A=99
Ответ: 99