Ответ:

Каждая соседняя пара сравнивается, и при нарушении порядка её значения меняются местами с помощью процедуры swap.

program SortThree;
var
  a, b, c: integer;

procedure swap(var x, y: integer);
var m: integer;
begin
  m := x;
  x := y;
  y := m;
end;

begin
  Readln(a, b, c);
  if a > b then swap(a, b);
  if b > c then swap(b, c);
  if a > b then swap(a, b);
  Writeln(a, ' ', b, ' ', c);
end.

После первой проверки меньший элемент из пары a, b оказывается слева. Затем аналогично упорядочиваются b, c, после чего выполняется контроль первой пары.

Ответ: программа выводит значения в порядке a ≤ b ≤ c.