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