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