A2 Sea $S$ un conjunto con una operación binaria $\ast$ tal que 1) $a \ast(a\ast b)=b$ para todos $a,b\in S$ . 2) $(a\ast b)\ast b=a$ para todos $a,b\in S$ . Demuestra que $\ast$ es conmutativa y da un ejemplo donde $\ast$ no sea asociativa.