设S是至少含有两个元素的集合，在S上定义了一个运算“※”（即对任意的a、b∈S，对于有序元素对（a，b），在S中有唯一确定的元素a※b与之对应），若对任意的a、b∈S，有a※（b※a）=b，下列等式中不恒成立的是（　　）
A. （a※b）※a=a
B. [a※（b※a）]※（a※b）=a
C. b※（b※b）=b
D. （a※b）※[b※（a※b）]=b