[_RPM]

The image seems to be doing b1 ^ b2 (which would be a XOR), but the result is the result of & (AND)

[coinomega]

∧ is also the notation for bitwise AND

http://csrc.nist.gov/publications/fips/fips180-4/fips-180-4....

[_RPM]

Ahh. Okay. I'm just assuming that they would do these computations using a C like language.