数学逻辑-鸡兔同笼问题求解