离散逻辑推理问题大作业