Dado que se está operando sobre bits, lo que se usa es un campo binario de Galois (formula_1).