derlimИз правил

можно извлечь и другие интересные следствия. При произвольных

каждое из следующих уравнений имеет одно и только одно решение относительно

:

(решение

)

(решение

)
Иными словами, операция

обратима: по результату и одному операнду можно восстановить другой.
Я даже сначала думал, что это как-то поможет в решении задачи, но нет, не пригодилось.
Кстати, пример операции с такими свойствами —
исключающее ИЛИ 
(как в одноразрядном, так и в многоразрядном, побитовом варианте). И свойство

используется в простеньком шифровании: сообщение

шифруется ключом

, а потом тем же ключом

, применённым повторно, дешифруется.