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