编程基础-矛盾排除法应用