Для одноразрядного полного сумматора для суммы S

при a=0,b=0,Cin=0 получаю S=1.
(a-первое слагаемое, b- второе слагаемое Cin- перенос из младшего разряда, S- сумма)
А для выражения

получаю правильный результат.
Вопрос: в чём отличие первого выражения от второго?

В булевой алгебре для xor справедлив сочетательный закон.
Очевидно, то, что вы видите, есть следствие какой-то ошибки.

Невозможно.

Да, действительно, может "глюк" какой-то был