填空题
设X={1，2，3，5，6，10，15，30}，Y={2，3，6，12，24，36}，W={1，2，3，6，18，54}，T={2n∣n为正整数}，这些集合中关于整除关系构成格的有（）。
X，W，T
问答题 设B1，B2，B3是布尔代数，证明：若B1≌B2,B2≌B3,则B1≌B3。
问答题 设B是布尔代数，a1，a2，...，an∈B，证明：（a1∨a2∨...∨an）′=a′1∧a′2∧...∧a′n。
问答题 设B是布尔代数，，若a≤c，则有a∨（b∧c）=（a∨b）∧c，称这个等式为模律，证明布尔代数适合模律。
