Задача #1446

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

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

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

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

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