Three decision variables M, O and Z,
forall (k in 1..Cells, i in 1..nbMachines, j in 1..nbComps)
{(U[k][i][j] == 1) && ( A[k][i] <= -1 +((D[k][j]*S[k][j])*52*5))
=> M[k][i][j]==1 ; }
forall (k in 1..Cells, i in 1..nbMachines, j in 1..nbComps)
{(V[k][i][j] == 1) && (A[k][i] >= -1 + ((D[k][j]*S[k][j])*52*5))
=> Z[k][i][j]==1 ;}
forall (k in 1..Cells, i in 1..nbMachines, j in 1..nbComps)
{(V[k][i][j] == 1) && ( A[k][i] >= -1 + ((D[k][j]*S[k][j])*52*5))
=> O[k][i][j]==1;}
- If U is 1, A is less than or equal to D*S*52*5, than M will be 1.
- If V is 1, A is more than D*S*52*5, than Z will be 1.
- If V is 1, A is more than D*S*52*5, than O will be 1.
In the run, M, Z and O are getting the same values. The sum of M and Z as well as sum of M and O will be equal to U and V. (U=V) Please help me to write the correct expressions for finding out M, O and Z. U and V are extracted in previous steps. A, D and S are input data.