问答题 设A，B，C是任意集合，证明：（A-B）-C=（A-C）-（B-C）。

问答题 设A，B，C是任意集合，证明：（A-B）-C=A-（B∪C）。

问答题 设G=s，⊕>令G上所有自同构构成的群为AutG，给出AutG的运算表并画出它的子群格L的哈斯图。说明这个格是否为分配格、有补格、布尔格。