问答题
设G=s，⊕>令G上所有自同构构成的群为AutG，给出AutG的运算表并画出它的子群格L的哈斯图。说明这个格是否为分配格、有补格、布尔格。
问答题 设A，B为任意集合，证明（A-B）∪（B-A）=（A∪B）-（A∩B）。
问答题 设A，B，C代表任意集合，试判断下面命题的真假。如果为真，给出证明；如果为假，给出反例。 A∪B=A∪C⇒B=C。
问答题 设A，B，C代表任意集合，试判断下面命题的真假。如果为真，给出证明；如果为假，给出反例。 （A∩B）-A=。
