Claro en realidad me falto agregar esto I3 + I4 - I34 < 1 , porque creoque no es es el caso pero si dejas solo eso y estuvieses minimizando I34 se activaria siempre por estar en el funcional independientemente de que I3 e I4 = 0. En cambio si agregas esto ademas I3 + I4 - 2I34 > 0 te aseguras que solo prenda cuando ambas son 1