Один шаг Гровера для четырёх вариантов

Какова вероятность успеха алгоритма Гровера после одной итерации, если используются два кубита, то есть четыре варианта, и правильный ответ только один?

Начальное состояние $|\psi\rangle=|+\rangle\otimes|+\rangle$. На каждой итерации применяется $(2|\psi\rangle\langle\psi|-I)O$, где оракул переводит правильный ответ $|y\rangle$ в $-|y\rangle$, оставляя остальные состояния неизменными. Итоговое измерение проводится в вычислительном базисе. Здесь $|+\rangle=(|0\rangle+|1\rangle)/\sqrt2$.