Цель этой строки состоит в том, чтобы реализовать операцию, которая возвращает исходное значение при трехкратном применении ко входу и сохраняет ввод при однократном применении.
Проще понять, если мы хотим выбрать одно значение из массива, содержащего пары вместо троек. Тогда мы могли бы просто сделать ...
ones = ones ^ x
... потому что у ^ х ^ х == у. Таким образом, все пары отменяются, и у вас остается одно значение.
Как прокомментировали другие, случай с тремя предметами - довольно неприятный неясный взлом, который должен использоваться только, когда производительность важна, и проблема очень специфична.
Я думаю, что утверждение является просто попыткой подтвердить, что предварительное условие было выполнено, то есть все числа являются тройками, кроме одного. Это не отказоустойчиво.