Логическое выражение
Линейное выражение
(Х) -> (Истина)
PX <= 1 ± U1
(Х) -> (Ложь)
PX <= U2
(Х) -> не (А)
PX + PA <= 1 ± U3
(Х) -> (А1 и А2 и…Аn)
PX <= PAj ± U4j , для всех j
(А1 и А2 и…Аn ) -> (X)
- PX + SUMj (PAj) <= n – 1 ± U5
(Х) -> (А1 или А2 или…Аn)
PX - SUMj (PAj) <= ± U6
(А1 или А2 или…Аn) -> (X)
- PX + PAj <= ± U7j , для всех j
Таблица 1 Соответствие логических и линейных выражений
