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