OberonCore

Есть ли в Обероне-2 логическая операция XOR? Не для битов-байтов, а для операндов типа BOOLEAN. Если нет, то как её реализовать?

Xor можно выразить через другие операции:
http://en.wikipedia.org/wiki/Exclusive_or

Если я правильно понял, вместо логического XOR в обероне предлагается использовать операцию неравенства #.

Честно говоря, я даже не могу припомнить, когда мне надо было использовать логическую операцию XOR.
Ну такой выпендрёж, как flag ^= 1, не в счёт, так как может быть выражен как flag = !flag. В обероне, опять же, будет как flag := NOT flag.
Для чего ещё могут быть нужны логические XOR'ы?

res:= a # b;(*res := a XOR b;*)

В общем-то да, для логических выражений никакой особой XOR не нужно, лишняя сущность, проверка на неравенство - и всё.
Интересно, зачем Вам понадобилась?