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

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

问答题 设A，B为任意集合，证明（A-B）∪（B-A）=（A∪B）-（A∩B）。