Can anyone explain why this works? I got the top part from an old solution, but it didn't catch it when the inputs were the same number, so I added the 4 and gates on the bottom. I just can't figure out what the AND and OR gates are doing to the XOR of the 2 inputs.