符号等价

判断两个数学表达式在逻辑上是否完全一致的方法