算法基础-逻辑推理