命题逻辑等值演算等值式与基本等值式