Recall the definition of 3sat_mystery(a,b,c):
To implement the 3sat_mystery(a,b,c) function on a quantum computer, we will need to use the multi-qubit AND and OR that we developed earlier in this chapter. The general strategy will be to compute each clause of 3SAT, which is an OR over three variables, separately and to store the result in a separate quantum register for temporary use. For example, the first clause of 3sat_mystery(a,b,c) is 
, so we can compute the quantum OR over the three input qubits, with the third qubit negated, and store this result in a temporary quantum register. If we do this for each of the seven clauses in 3sat_mystery(a,b,c), at the end, we can compute the quantum AND over all of the seven temporary registers (two at a time, using temporary registers) to get the final result.