Note: XOR and AND are the obviously correct operations to use here, since they are the field operations over Z mod 2 :)