Тип 15 № 14101

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

$$\neg((\text{ТРЕУГ}(x, 11, 18) \equiv (\neg(\text{МАКС}(x, 5) > 15))) \land \text{ТРЕУГ}(x, A, 5))$$

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

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