判断两个集合关系吧例如判断是相等 不相等的 是不是只要把式子A拆分变形成相似于式子B的格式?然后在反一下 证明什么什么什