问答题 设Q为有理数集（既约分数的集合），F为n/m形分数集合，其中m，n是整数，m≠0，对分数集F证明：如下定义的F上的等价关系～是〈F，-，+〉（这里，-为一元添负号运算）上的司余关系。

问答题 用等值演算法判断以下公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值。 ￢（p∧q→q）

问答题 设公式A=p→q，B=p￢∧q，用真值表验证公式A和B适合德摩根律： ￢（A∨B）￢A￢∧B