看谁有本事做出来

只要判断已知等式是否恒成立
用特殊值代入对比下就OK了
很简单：

理解题目：
在s上定义一个二元运算@（即对于任意的a，b属于s，对于有序元素对（a，b），在s中有唯一确定的元素a@b与之对应）若对于任意的a，b属于s，有a@（b@a）=b ，
要注意的是，题目给的条件是有序元素对，说明:若对于任意的a，b属于s
(a,b)与（b,a）不一定想同;
a@b与b@a也不一定相同;
a@（b@a）与(b@a)@a也不一定相同.
只要二元运算@前后元素顺序发生改变，其对应的值就不一定相等。

解题目：
若对于任意的a，b属于s，有a@(b@a)=b
可以令a=b，则有：b@(b@b)=b ,所以 （1）是恒成立的
对于（2）：(b@b)@(b@(b@b))=(b@b)@b 与b@(b@b)是不一定相等的，故其不一定成立。[先将b@(b@b)=b带入]
对于（3）：同（2）(b@b)@b 与b@(b@b)是不一定相等的，故其不一定成立。
所以得到：
若对于任意的a，b属于s
b@(b@b)=b是恒成立的。

供参考！
注：s上定义一个二元运算@ ，和函数定义一样，@ 只是个对应法则。

（1）b@（b@b）=b