ブール比較式 a op b を !( a negop b ) に変換します。 ここで、op と negop は、== と != と同様の互いに逆の比較演算子です。