(not (or (= 0 1) (= 1 1)))