solving equations with BitXor

*To*: mathgroup at smc.vnet.net*Subject*: [mg107013] solving equations with BitXor*From*: Jasper van Woudenberg <jasper.van.woudenberg at gmail.com>*Date*: Sun, 31 Jan 2010 07:53:48 -0500 (EST)

Hi, I'm trying to have it solve a system of equations of the form (unknown_1 xor ... xor unknown_n = known). These unknowns are 8-bit values, and therefore I'm representing them as BitXor[u1, .., un] = k1. However, I'm not getting very far. I would expect a simple Solve[BitXor[a,b]==c, b] gives me {b==BitXor[a,c]}, but instead I get something with an InverseFunction. How can I tell mathematica / Solve that BitXor[a,b]==c <-> BitXor[a,c]==b ? Cheers, Jasper.