1。键入最多3个子句（每个子句最多2个变量）和1个结论，要求判断输出结论的真假。
2。给定两个定义在集合X-Y的关系R1，R2
求R1*R2算法；求R1反关系R 的算法；
写出判定定义在集合X-X上的关系R是否偏序的算法；
写出判定定义在集合X-X上的关系R是否等价的算法。