离散数学-1-4 真值表与等价公式