算法基础-简单数学逻辑推导