Диагностическая). Имеются два симптома S1 и S2 двух болезней X1 и X2. Известно:

При X2 есть S1.

При X1 и отсутствии X2 есть S2.

При X2 и отсутствии X1 нет S2.

При S1 или S2 есть, по крайней мере, X1 или X2.

Составьте логическое уравнение, позволяющее по «значениям» признаков («есть», «нет») определить «значения» болезней.

X2 -> S1

X1 & -X2 -> S2

-X1 & X2 -> -S2

S1 | S2 -> X1 | X2

| - дизъюнкция, & - конъюнкция, -> - импликация