简答题

下图给出了三个偏序集的次序图，其中哪些构成格？

设L（x）：x是演员，J（y）：y是教师，A（x，y）：x佩服y，那么命题“所有演员都佩服某些教师”可符号化为（）

A.∀xL（x）→A（x，y）
B.∀x（L（x）→∃y（J（y）∧A（x，y）））
C.∀x∃y（L（x）∧J（y）∧A（x，y））
D.∀x∃y（L（x）∧J（y）→A（x，y））

点击查看答案&解析

指出下列各式是否成立：（a）（A∪B）×（C∪D）=（A×C）∪（B×D）（b）（A-B）×（C-D）=（A×C）-（B×D）（c）（A⊕B）×（C⊕D）=（A×C）⊕（B×D）（d）（A-B）×C=（A×C）-（B×C）（e）（A⊕B）×C=（A×C）⊕（B×C） 点击查看答案