Определите какие действия выполняют при формализации задачи для построения математической модели
1 Построение диаграммы на основе выходных данных
2 Построение таблицы на основе входных и выходных данных
3 определение входных данных
4 определение выходных данных
5 описание связи между входными и выходными данными с математических формул

//Знаю, что это решение далеко от понятия "изящество"
//Pascal ABC.NET v3.0 сборка 1111
var
 max1,max2,max3,i,maxi1,maxi2:integer;
 ar:array of integer;
begin
max1:=-2147483648;
max2:=-2147483648;
max3:=-2147483648;
setlength(ar,1);
readln(ar[0]);
i:=0;
 repeat
  inc(i);
  setlength(ar,i+1);
  readln(ar[i]);
 until ar[i]=0;
 for i:=0 to i do
 if ar[i]>max1 then
  begin;
   max1:=ar[i];
   maxi1:=i;
  end;
 for i:=0 to i do
 if (ar[i]>max2) and (i<>maxi1) then
  begin;
   max2:=ar[i];
   maxi2:=i;
  end;
 for i:=0 to i do
 if (ar[i]>max3) and (i<>maxi1) and (i<>maxi2) then max3:=ar[i];
write('Max1=',max1,' Max2=',max2,' Max3=', max3);
end.

порядок выполнения:

1) Сначала определится a> 10

2) Потом not(a>10)

3) Дальше a < 10 и его not(a<10)

4) Дальше or между двумя этими выражениями

5) И в конце определится and между 4 и (a<b)

Но это только логический предпологаемый порядок. То есть я различных языках программирования по-разному. Например оптимизатор в пайтоне может посчитать сразу последний (a<b) и больше ничего не считать или например not(a>10) or not(a<10) сразу посчитать как True и так далее.

При a = 5 и b = 10:

True, то есть истинна