逻辑推理提升性能

1