match.pd: (x & y) - (x | y) - 1 -> ~(x ^ y) simplification [PR94882]