When you see x + y in your code, you are looking at a ripple of electrons through a cascade of logic gates. That is not an abstraction. That is poetry.
Output is 1 only if the inputs are different. XNOR: Output is 1 only if the inputs are the same. Combinational vs. Sequential Logic digital logic and computer design