互为反函数的运算法则有什么关系