对And和Or使用严格的约束

Question

我正在尝试为此模型编写代码。我还有一个问题，我们如何才能用and和or实现条件。

[forall (b in B: b==jbreak,i in Ij\[b\], n in N)     
 (Ts\[i\]\[b\]\[n\] >= tbreak) || (Ts\[i\]\[b\]\[n\] <= tbreak && Tf\[i\]\[b\]\[n\] >= tbreak);  

 forall (b in B: b==jbreak,i in Ij\[b\], n in N) ctTBRD\[i\]\[b\]\[n\]:
 Tsr1\[i\]\[b\]\[n\] >= tbreak + tmaint;     
}][1]