1 2 3 4 5
(set-logic UFC) (set-info :status sat) (declare-fun v () Bool) (assert (and (forall ((q Bool)) (not (xor v (exists ((q Bool)) true) (and (not v) (not q))))))) (check-sat)