问答题
求下列命题公式的合取范式：¬（p↔q）
问答题 证明：Dom（R∪S）=Dom（R）∪Dom（S）.
问答题 求下列命题公式的合取范式：（p∧q）∨（p∧q）
问答题 对R={∣u≠v→u=v}，x=的N上的关系R做出归纳定义，并证明（依归纳定义）x∈R.
