Podręcznik
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 
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:
