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.