Странно, что форум наш наполнен до верху логикой и логиками, причём во всех мыслимых логических ипостасях, а вот чисто логическая (простейшая!) задачка - поставила всех в тупик.

Но, это не столь важно, потому что в тысячу раз непонятнее тот факт, что никто не может привести хоть какую ссылку, где был бы ответ... ещё раз - на простейший вопрос: каким ещё способом можно обменять содержимое  a и b местами, не используя промежуточной памяти.

Я знаю как, но не может быть, чтобы никто этого не знал! Не может быть, потому что этого не может быть никогда! А раз так, то мне снова надо к психиатру. Однако, у меня есть некие потуги на догадку почему это так. И это связано именно с обсуждаемыми ранее принципиальными положениями о том, что все виды так называемых "логик" (включая математическую) НЕ ЯВЛЯЮТСЯ самостоятельными формальными дисциплинами в математическом смысле. Они - такие же прикладные дисциплины, как и электронные схемы, программирование, и пр. - всё то, что "откусывает" понравившуюся часть от по-настоящему формальной дисциплины - булевой алгебры (булевого исчисления).

И это не беда. Беда, когда формальная логика НАВЯЗЫВАЕТ своё видение, суёт свою морду с разными там "истинами", ПРЕПЯТСТВУЯ тем самым  пониманию действительно совершенно абстрактной дисциплины - булевого исчисления.

Как приложение к поставленному в теме вопросу, добавляю элементарщину. В надежде, что эта элементащина породит такой же элементарный ответ на поставленную задачу. Итак, к трём представленным операциям исключающее Или прилагаю таблицу "истинностей", чтобы можно было проследить процесс "меняния" местами a с b.