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

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