离散数学第1章命题公式与翻译 真值表与等价公式