Buenas, que tal?

Ojo que en el 6) Cada unidad después de las 10 fabricadas tiene $2 más de beneficio por unidad.

En el funcional pusiste: Zmax = ..... + 2 * X₁⁺ * I₁⁺

Tengo entendido que no se puede multiplicar variables X*I, con poner Zmax = ..... + 2 * X₁⁺

va, ya que X1+ te cuenta el sobrande por encima de los 10 productos fabricados.

Encuanto a los demas, me parece que estan bien. Paso otras formas de planteo para el 2) y 4)

2) Si no se fabrica el producto X1, no se puede fabricar el producto X2 (No estoy del todo seguro, porque creo que tendría encuenta la forma viceversa, osea que si no fabrico X2 tampoco X1, lo cual podría no ser así ya que no se habla de la dependencia de X1 con X2, pero si de X2 con X1). Si alguien confirma genial.

X1 - I1 M ≤ 0 y X1 - I1 m ≥ 0

X2 - I2 M ≤ 0 y X2 - I2 m ≥ 0

I1 + I2 = 2

4) Si la producción del 1 es mayor a la del 2, la producción del 3 tiene que ser mayor a 10.

(X1-X2) - M I ≤ 0

X3 -10 I ≥ 0  Ó  X3 + M I ≥ M + 10