To illustrate the algorithm, consider the example problem in §3. It has n=m=2. With the assignments ordered according to the corresponding interger value, i.e., 00, 01, 10, and 11, where
The resulting behavior is:
giving an amplitude of 1 in the solution assignment 00.
Another example, with n=m=3 is the propositional formula (NOT ) AND (NOT ) AND , with assignments , represented as bit vectors, and solution , i.e., the bit vector 100. In this case U can be expressed in terms of from Eq. (15) in block form:
For this case, the algorithm's behavior is:
Again, all the amplitude is in the solution.