Como responder essa questão?

07) Mostre que a igualdade a*b = x se x, é par e a*b= x+1 se x, é impar é uma operação no conjunto dos inteiros z, que não é comutativa mais é associativa