离散数学题目，求帮忙

7.（1）（A∪B）∩(B∪C)

=(A∩C)∪B

包含于A∪B.

(2)要A'表示A的补集，

(A'∪C)'

=A∩C',

A包含于B'∪C,

所以B包含于(A'∪C)'，

包含于（B'∪C)∩C'

包含于B'∩C',

所以B=Φ.

命题不成立。