chapter4_567(1)离散数学