Выход блока равен 1, если первый вход не равен второму.

Если блок имеет более двух входов, то сначала сравниваются первые два входа. Затем результат сравнивается с третьим входом и так далее до последнего входа.

Таким образом, выход блока XOR равен 1, если количество единиц на его входах нечетное.