离散数学7.等价公式