编程基础-边界值验证与逻辑推导