此意图将布尔比较表达式 not(a negop b) 转换为 a op b。 其中 opnegop 为互逆比较运算符,如 ==!=