问答题 在格L中如果有a∧（b∨c）=（a∧b）∨（a∧c）成立，证明有a∨（b∧c）=（a∨b）∧（a∨c）成立。

问答题 设I是格L的非空子集，如果满足下述条件，则称I为L的理想： 证明I是L的子格。

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