title: OPL ILOG CPLEX optimization
body: <p>Three decision variables M, O and Z,</p>
  
  <pre><code>forall (k in 1..Cells, i in 1..nbMachines, j in 1..nbComps)
  {(U[k][i][j] == 1) &amp;&amp; ( A[k][i] &lt;= -1 +((D[k][j]*S[k][j])*52*5))
  =&gt; M[k][i][j]==1 ;  } 
  
  forall (k in 1..Cells, i in 1..nbMachines, j in 1..nbComps)
  {(V[k][i][j] == 1) &amp;&amp; (A[k][i] &gt;=  -1 + ((D[k][j]*S[k][j])*52*5)) 
  =&gt; Z[k][i][j]==1 ;} 
  
  forall (k in 1..Cells, i in 1..nbMachines, j in 1..nbComps)
  {(V[k][i][j] == 1) &amp;&amp; ( A[k][i]  &gt;= -1 + ((D[k][j]*S[k][j])*52*5)) 
  =&gt; O[k][i][j]==1;} 
  </code></pre>
  
  <ul>
  <li>If U is 1, A is less than or equal to D*S*52*5, than M will be 1.</li>
  <li>If V is 1, A is more than  D*S*52*5, than Z will be 1.</li>
  <li>If V is 1, A is more than  D*S*52*5, than O will be 1.</li>
  </ul>
  
  <p>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.</p>