实验二 命题公式的等值演算与真值表