Esto es así porque la operación XOR es asociativa, para tres entradas escribiríamos: aformula_6(bformula_6c) o bien (aformula_6b)formula_6c.