Встанови послідовність побудови інформаційної моделі Б)1.Визначити предметну область
2.Виділити суттєві властивості
3.Установити взаємозв’язки
4.Вибрати форму та засіб подання моделі
5.Зобразити модель
6.Визначити мету створення моделі

Логическая операция ⊕ - это "исключающее ИЛИ" (xor в языках Паскаль, Бейсик и т.д.), а → операция присваивания.
Тогда a⊕b→a; a⊕b→b; a⊕b→a - это был обмен значениями a ↔ b
Теперь по этой же схеме обменяем местами b и с:
b⊕c→b; b⊕c→с; b⊕c→b.
Результат: b→a; c→b; a→c

Программа для иллюстрации:
// PascalABC.NET 3.1, сборка 1218 от 12.04.2016
begin
  var a:=50;
  var b:=-20;
  var c:=0;
  Println('Исходные значения: a=',a,'b=',b,'c=',c);
  a:=a xor b; b:=a xor b; a:=a xor b;
  b:=b xor c; c:=b xor c; b:=b xor c;
  Println('Результат обмена: a=',a,'b=',b,'c=',c)
end.

Результат:
Исходные значения: a= 50 b= -20 c= 0
Результат обмена: a= -20 b= 0 c= 50

   кандидат технических наук (1971)

   доктор технических наук (1991)

   доцент (1976)

   профессор (1993)

   заслуженный профессор Санкт-Петербургского государственного политехнического университета (2006)

Членство в профессиональных обществах

   член Американского Математического общества (с 1975 г.)

   член Association for Computing Machinery (ACM)

   член IEEE Computer Society

   член программных комитетов нескольких продолжающихся международных конференций, в частности, ИММОД, CoLoS, SEEMAS, РаСТ и других

   член редколлегий журналов "Моделирование и анализ информационных систем", "Научно-технические ведомости СПбГПУ", "Bulletin of the Novosibirsk computing center"

   член двух специализированных советов по защите докторских диссертаций

   эксперт Российского фонда фундаментальных исследований (2012 г.)

   федеральных эксперт научно-технической сферы (ГУ РИНКЦЭ при министерстве промышленности, науки и технологий РФ, свидетельство № 11313707.281)

   член Правления Национального общества имитационного моделирования

   член Научно-Методического Совета   по информатике Министерства образования и науки РФ. Секция фундаментальных основ информатики

Другие заслуги

   премия Правительства Санкт-Петербурга за выдающиеся достижения в области высшего и среднего профессионального образования в номинации "Научные достижения повышению качества подготовки специалистов и кадров высшей квалификации" (2011)

   премия СПбГПУ за лучшие учебные и научные издания (за монографию "Model Checking. Верификация параллельных и распределенных программных систем") (2011)

   диплом фирмы Интел за научный проект "Верификация взаимодействующих временных автоматов"  (2001)

   инструктор альпинизма (1964)

   кандидат в мастера спорта по альпинизму(1969)