Quando a soma de três inteiros, cada um sendo do tipo A ou do tipo B, é do tipo A?

Quando há um número par de Bs, isto é, 0 ou 2 Bs.

Associe A → 0 e B → 1, a operação de tipos corresponde à adição em módulo 2, a soma é do tipo A quando a soma dos códigos é congruente a 0 modulo 2, com três termos isso ocorre se houver um número par de Bs, portanto 0 Bs (todos A) ou 2 Bs (um A).

Exemplo:
Considere três inteiros com tipos: 6 (A), 9 (B), 11 (B). Mapear: A→0, B→1, então \(0+1+1\equiv0\pmod{2}\). Logo a soma \(6+9+11=26\) é do tipo A.