Como parte de una respuesta a un Stack Overflow pregunta que me he hecho la suposición de que si puedo elegir dos números enteros positivos $m$$n$, les dará $m - n$ $m$ XOR $n$, entonces se puede determinar de forma única lo $m$ $n$ fueron. Para todos los ejemplos que he intentado esto parece funcionar correctamente, pero no tengo ninguna razón para creer que esto debería funcionar en general. Por otra parte, no estoy lo suficientemente familiarizado con las interacciones de las diferencias (o de las cantidades, para esa materia) y XOR a deivse una prueba o contraejemplo.
Es que mi reclamo es cierto? Si es así, ¿cómo usted va sobre la prueba? Si no, hay un buen contraejemplo?
Muchas gracias!