通过反演规则进行了哪些对换，可以把原式变成反演式（）