离散数学 课程实验程序:交换性 的验证!!!!!!