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