给定论域D={1，2}，f（1）=2，f（2）=1，S（1）=F，S（2）=T，G（1，2）=T，G（2，1）=T，在该赋值下，求式子（x（S（f（x））∧G（x，f（x）））的真值。

请通过等值演算法求┐（P∧Q）→（P∨Q）的主析取范式。

设A={1，2，3，4}，给定A上二元关系R={，，，}，求R的传递闭包。

符合化下列命题，并构造推理证明：三角函数都是周期函数，有些三角函数是连续函数，所以有些周期函数是连续函数。

两个等价关系的并集不一定是等价关系，试举例说明。

用推理方法证明（A∨B）→（C∧D），（D∨F）→E├A→E。

证明：设是一个群，则对于任意a，b∈G，必存在惟一的x∈G使得a·x=b。

设图G有n个结点，n+1条边，证明：G中至少有一个结点度数≥3。

在整数集Z上，下列定义的运算满足结合律的是

在整数集Z上，下列定义的运算能构成一个群的是