Дан фрагмент таблицы истинности логической функции F(A,B,C,D), зависящей от четырех аргументов A, B, C и D.
Известно, что эту функцию можно задать в виде следующего логического выражения:
( ([…] A → […] B) → […] C) → […] D,
где вместо некоторых […] может быть подставлен оператор логического отрицания. Определите, перед какими
аргументами должны стоять операторы логического отрицания, чтобы получившаяся функция соответствовала приведенной
таблице истинности.
В качестве ответа приведите последовательность из четырех знаков «+» или «-» в которой знак «+» будет означать, что,
перед соответствующим аргументом в выражение не будет стоять оператор логического отрицания, а знак «-» будет
означать, что перед соответствующим аргументом в выражение будет стоять оператор логического отрицания. Например,
ответ «++-+» будет соответствовать выражению ((A → B) → not C)→D