# Results of SAT on the Qiskit simulator

I computed SAT formula with the Grover search algorithm on the Qiskit simulator with default parameters, but I don't understand why the incorrect solutions don't have a probability of 0?

The SAT formula is $$(x_1 \vee x_2) \wedge (x_2 \vee x_3)$$.

• Hi! What was the sat formula you were using? Apr 23, 2020 at 12:34
• Sorry @met927 , the formula is : (x1 v x2) ^ (x2 v x3) Apr 23, 2020 at 12:42