== -- менее интуитивно понятная (хотя, конечно, у каждого своя "интуиция", соответствующая его персональному опыту) штука, чем xor. Притом: any A, B :- (A==B) == (A xor B xor 1) а ещё про xor "интуитивно понятно", что он не только коммутативен, но и ассоциативен.
Соответственно, A==(B==C) тождественно равно A xor B xor C
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2023-11-21 02:35 pm (UTC)==-- менее интуитивно понятная (хотя, конечно, у каждого своя "интуиция", соответствующая его персональному опыту) штука, чемxor.Притом:
any A, B :- (A==B) == (A xor B xor 1)а ещё про xor "интуитивно понятно", что он не только коммутативен, но и ассоциативен.
Соответственно,
A==(B==C)тождественно равноA xor B xor C