При реализации алгоритма используется рабочая (временная - temporary) переменная tmp. В нее записывается содержимое первой переменной, затем в первую переменную копируется содержимое второй, и наконец, во вторую переменную переносится содержимое рабочей переменной. Таким образом, алгоритм состоит из трех шагов:

tmp := a;  a := b;  b := tmp;
                

• Проверим работоспособность этого алгоритма на примере, скажем, a=5 и b=8:

  tmpÜ5; aÜ8; bÜ5

Полезно оформить приведенный алгоритм как процедуру, - она нам еще пригодится.

Procedure Swap (var  a, b : item);
   var
     tmp : item;
   begin
     tmp := a;   {Шаг 1}
     a   := b;   {Шаг 2}
     b   := tmp  {Шаг 3}
   end;
                

При использовании следует лишь вместо item подставить соответствующий условию задачи тип данных.

В этом случае можно использовать механизм, не требующий дополнительной переменной:

a := a + b; b := a - b; a := a - b;
                

Он также не требует дополнительной переменной и использует свойство логической операции xor.

a := a xor b;  b := a xor b;  a := a xor b;