2. Modelowanie zależności

2.6. Warunki logiczne

Modele liniowe-całkowitoliczbowe umożliwiają modelowanie różnorodnych warunków logicznych.

Niech zmienna binarna z wartościami \{0,1\} odpowiada zmiennej logicznej z wartościami (fałsz, prawda). Za ich pomocą możemy modelować różnorodne warunki logiczne, przez wprowadzenie odpowiednich ograniczeń  oraz ewentualnie dodatkowych zmiennych.

Przykłady prostych warunków logicznych:

Przykłady złożonych warunków logicznych:


Oraz: