离散数学7.1-2