Диагностическая). имеются два симптома 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
| - дизъюнкция, & - конъюнкция, -> - импликация