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

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

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

设A，B，C代表任意集合，试判断下面命题的真假。如果为真，给出证明；如果为假，给出反例。 A∪B=A∪C⇒B=...

问答题

设A，B，C代表任意集合，试判断下面命题的真假。如果为真，给出证明；如果为假，给出反例。
A∪B=A∪C⇒B=C。

设A，B，C代表任意集合，试判断下面命题的真假。如果为真，给出证明；如果为假，给出反例。 （A∩B）-A=。

问答题

设A，B，C代表任意集合，试判断下面命题的真假。如果为真，给出证明；如果为假，给出反例。
（A∩B）-A=。