离散数学作业3