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.
