OPL CPLEX最適化

Question

条件の制約がMを見つけるために働いている、この式は、両方の条件が満たされた場合、私は以下の他の決定を見つけるために持って決定変数Mを見つけるために取り組んでいる

{(U[k][i][j] == 1) && (A[k][i] >= (-1 + (D[k][j]*S[k][j])*52*5)) 
=> M[k][i][j] == 1; } 

条件はまた、

if {(V[k][i][j] == 1) && (A[k][i] < ((D[k][j]*S[k][j])*52*5)) 
O[k][i][j] == 1; } 
if {(V[k][i][j] == 1) && (A[k][i] < ((D[k][j]*S[k][j])*52*5)) 
Z[k][i][j] == 1; } 

が決定変数、O、Zを見つけるために、上記の式を書く方法を知ってはいけない、助けてください。

Answer 1

((V[k][i][j] == 1) && (A[k][i] <= -1+((D[k][j]*S[k][j])*52*5))) 
=> (O[k][i][j] == 1); 

((V[k][i][j] == 1) && (A[k][i] <= -1+((D[k][j]*S[k][j])*52*5))) 
=> (Z[k][i][j] == 1); 

よろしく