离散数学常用的等价公式