[Oops.]Missing variable in Figure 12.5

[Albert-HY-Jiang]

Please verify that the error is present in the most recent revision before reporting.

Chapter number or note title: 12.5 Reductions and Sat

Page number: 387

Error description: Variable y7 is missing in the boolean circuit in figure 12.5. In the boolean formula below, y7 = y3 or y5, but there is no label for it in the circuit.

Suggested fix (if any): Add label for y7