Е15.47 Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный треугольник

Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный треугольник с длинами сторон n, m и k».

Для какого наибольшего  натурального числа А формула

¬((ТРЕУГ(х, 11, 18) ≡ (¬(MAKC(x, 5) > 68))) ⋀ ТРЕУГ(х, А, 5))

тождественно истинна (т. е. принимает значение 1) при любом натуральном значении переменной х?

Примечание. МАКС(а, b) = а, если а > b и МАКС(а, b) = b, если а ≤ b.

Ответ:

PRO100EGE 2024 #1 (kompege.ru) – задание №15