正在生成排除法逻辑代码