实验一命题逻辑运算器 实验二集合运算 实验三关系的性质 实验四欧拉图的判定