展开 集合运算摩根律证明方法