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