Отличие a^b^c от (a^b)^c, Синтаксис Verilog Опции

[demsp]

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

Код

assign S = (a^b)^Cin

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

Код

assign S = a^b^Cin

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