离散数学 为什么说每个基本和都是永真式。