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