实验3 等价类划分