Обозначим через
Для какого наибольшего натурального
тождественно истинна (то есть принимает
Примечание: МАКС(a, b) = а, если 
и МАКС(a, b) = b, если 
Приведём решение на языке Python.
def t(n,m,k):
return max(n,m,k) < n + m + k - max(n,m,k)
def f(A,x):
return not (t(x,11,16) == ((not(max(x,5) > 10))) and t(4,A,x))
for A in range(1000):
if all (f(A,x) for x in range(1000)):
print(A)
Ответ: 23.
Приведём решение Михаила Глинского на языке Python.
def TR(x,y,z):
m=[x,y,z]
m.sort()
if m[0]+m[1] > m[-1]: return True
else: return False
res = []
for A in range(1,300):
Fl=1
for x in range (1,300):
f = not((TR(x,11,16)==(not(max(x,5)>10))) and (TR(4,A,x)))
if f==0:
Fl=0
if Fl==1:
res.append(A)
print(max(res))
Приведём решение Сергея Донец на языке PascalABC.NET.
function tre(n,m,k:integer):=(n+m+k)>2*Max(n,m,k);
begin
var d:=1..16*10;//~10..100-кратный запас максимального числа
d.Where(A->d.All(x->//formula
not((tre(x,11,16)=(not(max(x,5)>10)))and tre(4,A,x))
)).Last.Println;
end.