b.(a⨁b)⨁c=a⨁(b\bioplusc); sí; Prueba: Si(a⨁b)rc=a⨁(b⨁c), entonces⨁ es asociativo. \((a \bigoplus b) \bigoplus c =...b.(a⨁b)⨁c=a⨁(b\bioplusc); sí; Prueba: Si(a⨁b)rc=a⨁(b⨁c), entonces⨁ es asociativo. (a⨁b)⨁c=3ab⨁c=3⋯3ab⋯c=9abc,ya⨁(b⨁c)=a⨁3bc=3⋯a⋯3bc=9abc.