Законы математической логики

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

ТРЕУГ(A,5,x) → ((МАКС(x,11) ⩽ 19) ≡ ¬ТРЕУГ(23,13,x))

тождественно истине (т.е. принимает значение 1) при любом натуральном значении переменной x? Примечание. МАКС(а, b) = а, если а > b и МАКС(а, b) = b, если а ≤ b.