共用题干题设R，S为集合A上的任意关系 证明：Dom（R∪S）=Dom（R）∪Dom（S）.

求下列命题公式的合取范式：（p∧q）∨（p∧q）

问答题求下列命题公式的合取范式：（¬p∧q）∨（p∧¬q）

对R={∣u≠v→u=v}，x=的N上的关系R做出归纳定义，并证明（依归纳定义）x∈R.

问答题对R={∣u≠v→u=v}，x=<3，3>的N上的关系R做出归纳定义，并证明（依归纳定义）x∈R.

求下列命题公式的合取范式：q∨（p∧q∧r）

问答题求下列命题公式的合取范式：¬q∨（p∧q∧r）