Question

Диагностическая). Имеются два симптома S1 и S2 двух болезней X1 и X2. Известно: При X2 есть S1.При X1 и отсутствии X2 есть S2.При X2 и отсутствии X1 нет S2.При S1 или S2 есть, по крайней мере, X1 или X2.Составьте логическое уравнение, позволяющее по «значениям» признаков («есть», «нет») определить «значения» болезней.

Answer 1

X2 -> S1

X1 & -X2 -> S2

-X1 & X2 -> -S2

S1 | S2 -> X1 | X2

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