Задание 15

Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный треугольник с длинами сторон n, m и k». Для какого наибольшего натурального числа А формула ¬((ТРЕУГ(х, 11, 18) ≡ (¬(MAKC(x, 5) > 68))) ⋀ ТРЕУГ(х, А, 5)) тождественно истинна (т. е. принимает значение 1) при любом натуральном значении переменной х? Примечание. МАКС(а, b) = а, если а > b и МАКС(а, b) = b, если а ≤ b.