формула ((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?