Дана система логических уравнений:
\(\begin{cases} \#\,(A \land C) \lor \#\,(B \land C) \lor \#\,(\bar{B} \land C) \lor \#\,({B} \land \bar{C}) = 0 \\ (A \lor B) \land (\bar{B} \lor \bar C) = 1 \\ ((A \to \bar C) \to B) = 1 \end{cases}\)
В первом уравнении системы вместо знаков # могут стоять операции логического отрицания. Определите, вместо каких знаков # нужно поставить операции логического отрицания для того, чтобы данная система была истинной ровно при одной комбинации значений переменных A, B, C. В качестве ответа укажите последовательность из четырех символов «+» и «-», где символ «+» означает отсутствие логического отрицания, а символ «-» наличие логического отрицания вместо # в порядке следования этих знаков в выражении. Например, ответ --++ будет соответствовать выражению:
\(\overline {(A \land C) }\lor \overline{(B \land C)} \lor (\bar{B} \land C) \lor ({B} \land \bar{C}) = 0\)
Знак \/ соответствует логической операции or (или)
Знак /\ соответствует логической операции and (и)