I edited my comment. I’m just trying to say that like how you get a∧b for free, you also get XOR for free if you compute anything else which is “linearly independent” frrom the components a and b. (For a slightly fuzzy notion of linear independence where we just need separability.)
I edited my comment. I’m just trying to say that like how you get a∧b for free, you also get XOR for free if you compute anything else which is “linearly independent” frrom the components a and b. (For a slightly fuzzy notion of linear independence where we just need separability.)