5 可满足性 有效性 语义等值