(benchmark x
:formula

(not
(or
  (not
  (and
    (= x 1)
    (= y 2)
  ))
  (and
    (= x 1)
    (= y 2)
  )
)
)
)