我需要一些帮助，将以下逻辑建模为车辆路径问题的混合整数线性规划约束。

涉及的变量如下：

1. X _ij ，SDV _lmj 和MDV _hkbj 二进制决策变量。当某个链接（ij）或路由/路径（lmj或 hkbj）已通过。
2. SOC ^L _i 和SOC _j ^R 都是系统变量，分别是 在0到100之间连续，代表状态 确定车辆在特定节点的行驶范围的费用。

指数

所有索引（i，j，l，m，h，k，b）都属于网络中的节点，并且在特定约束中使用时指的是不同的节点。索引i和j将是我的问题的焦点。

逻辑

IF（X _ij = 1 AND（SDV _lmj = MDV _hkbj = 0））然后（SOC ^L _i = SOC _j ^R ）。

当此逻辑不成立时，我想要SOC ^L _i 和SOC _j ^R 的值>不具有约束力。

关于其他当前约束的补充说明，这些约束可能会更加清楚（不需要这些帮助）。

1. SDV _lmj + MDV _hkbj 如果所有节点j的X _ij = 1，则
2. SDV _lmj 或MDV _hkbj 只能为= 1。但是即使SDV _lmj 和MDV _hkbj 都= 0，X _ij 也可以= 1。只是为尝试实现的逻辑提供更多上下文）

我到目前为止所拥有的...

（1）SOC ^L _i j ^R + BigM（1-X _ij ）

（2）SOC ^L _i => SOC _j ^R -BigM（1-X _ij ）

（3）SDV _lmj + MDV _hkbj

（4）SDV _lmj + MDV _hkbj ij

然而，当前公式的问题在于，当（SDV _lmj + MDV _hkbj ）= 1时，X _ij 必须相等根据约束条件（4）将1乘以1，将约束条件（1）和（2）中的BigM乘以零，从而将值SOC ^L _i 有效地绑定到相等的SOC j ^R 我想避免。

任何帮助将不胜感激。