~X & Y to X ^ Y in some cases