Tienes que usar distributiva según las nuevas operaciones definidas, y lo de ir probando cada axioma con variables es así como dices. Saludos
Tienes que usar distributiva según las nuevas operaciones definidas, y lo de ir probando cada axioma con variables es así como dices. Saludos