Python基础-数字逻辑推理