编程基础-逆向逻辑推导