====== Resumen de Restricciones para PLC  y/o PLE ======
===== Funciones Booleanas =====

AND (de n variables): <tex> n \cdot y_{and} \leq \sum_{i = 1}^n y_i \leq y_{and} + n - 1 </tex>

OR (de n variables): <tex> y_{or} \leq \sum_{i = 1}^n y_i \leq n \cdot y_{or} </tex>

XOR (de n variables): <tex> \sum_{i = 1}^n y_i \leq 1 </tex>

===== Varias =====

Indicador de valor no nulo para variables continuas: <tex> m \cdot y \leq x \leq M \cdot y </tex>

===== Máximos y mínimos =====

Para que una variable tome el mayor de los valores de n variables: <tex>\left\{ \begin{array}{l}
x_i \leq MAY \leq x_i + M \cdot y_i \ ( \forall i \leq n)\\
\sum_{i = 1}^n y_i = n - 1.
\end{array} \right.</tex>