Логическое выражение

Линейное выражение

(Х) -> (Истина)

P_X <= 1 ±  U₁

(Х) -> (Ложь)

P_X <= U₂

(Х) -> не (А)

P_X + P_A <= 1 ± U₃

(Х) -> (А₁ и А₂ и…А_n)

P_X  <= P_Aj   ± U_4j , для всех j

(А₁ и А₂ и…А_n ) -> (X)

- P_X + SUM_j (P_Aj) <= n – 1 ±  U₅

(Х) -> (А₁ или А₂ или…А_n)

P_X - SUM_j (P_Aj)   <= ± U₆

(А₁ или А₂ или…А_n) -> (X)

- P_X + P_Aj <= ± U_7j ,   для всех j