等值式是什麼意思

命題公式的替換和變形

等值式是命題公式的替換和變形，它是命題公式最靈活的求值和演算方式，列出了公式基於等值式的變化過程。等值式的變化方向和選擇都十分困難，公式的效率取決於人員的素質。