问答题 设I为A×A上的恒等关系，求R-I。

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

问答题 试证明图中两个无向图是不同构的。