Herbrand equivalence is weaker than semantic equivalence,it has much wider utility.

• H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。