C++基础-数学逻辑验证