Given the binary variables x1, x2, x3, x4, and x5, if x1 = 1 and x2 = 0, then x3 = 1, x4 = 1, and x5 = 1. Formulate the condition as simultaneous constraints.

*9-49. Suppose that product zw occurs in a constraint, where z and w are binary variables. Show how this term can be linearized.