Restricciones lógicas. Formulación del problema.

Problema de la mochila. Las variables del problema de la mochila son binarias.

1. Llevar al menos n objetos.

x(botella) + x(cuaderno)+ … + x(móvil) >= n

2. Si se lleva manta, entonces también cuerda.

Si se lleva manta, entonces cuerda también. Si no se lleva manta, entonces la cuerda es
opcional.

x(manta) <= x(cuerda)

3. Llevar tupperware sólo en caso que se lleve botella.

Si no se lleva botella, entonces tupperware tampoco. Si se lleva botella, entonces
tupperware es opcional.

x(botella) >= x(tupperware)

4. No llevar brújula en caso de llevar móvil.

Si se lleva móvil entonces brújula no. Si no se lleva móvil entonces brújula opcional.

x(móvil) <= 1 – x(brújula)

5. Se pueden llevan manta y botella simultáneamente o ninguna de las dos.

x(manta) = x(botella)

6. Hay que elegir manta o botella (o ambos inclusive).

Si se lleva manta entonces botella opcional. Si no se lleva manta entonces llevar botella.

x(manta) + x(botella) >= 1