Срочно надо решить задачку по инфе оч срочно завтра пересдать надо а я не знаю как эту...

Question

Дано ответов: 2

Правильный ответ

А вот "теоретическое" решение.
$\mathcal F_1=(x_1\to x_2)\land(x_2\to x_3)\land(x_3\to x_4)\land(x_4\to x_5); \\ A \to B = \lnot A \lor B$
Используем более короткую эквивалентную запись, применяя вместо символа логического сложения привычный арифметический знак +, вместо символа логического умножения - звездочку или вообще опуская символ операции, где и так понятно, что производится умножение, а знак логического отрицания будем заменять надчеркиванием.
$\mathcal F_1=(x_1\to x_2)(x_2\to x_3)(x_3\to x_4)(x_4\to x_5); \\ A \to B = \overline A+B; \\ \mathcal F_1=(\overline x_1+x_2)(\overline x_2+x_3)(\overline x_3+x_4)(\overline x_4+x_5)= \\ (\overline x_1 \overline x_2+\overline x_1x_3+x_2\overline x_2+x_2x_3)(\overline x_3 \overline x_4+\overline x_3x_5+x_4\overline x_4+x_4x_5)= \\ (\overline x_1 \overline x_2+\overline x_1x_3+x_2x_3)(\overline x_3 \overline x_4+\overline x_3x_5+x_4x_5)=$
$\overline x_1\overline x_2\overline x_3\overline x_4+\overline x_1\overline x_2\overline x_3x_5+\overline x_1\overline x_2x_4x_5+\overline x_1x_3x_4x_5+x_2x_3x_4x_5$
Полученное выражение показывает, что имеются ПЯТЬ наборов параметров $\{x_1.x_2.x_3,x_4,x_5\}$ , при которых функция $\mathcal F_1$ будет принимать единичное значение.
Аналогичный вывод (в силу схожести исходных выражений) покажет, что имеются ПЯТЬ наборов параметров $\{y_1.y_2.y_3,y_4,y_5\}$ , при которых функция $\mathcal F_2$ будет принимать единичное значение.
Третья функция $\mathcal F_3=x_5+y_1$ будет истинной при истинности хотя бы одного из входящих в нее параметров, поэтому надо проверить совместность значений этих параметров с двумя первыми функциями. Истинности первой функции удовлетворяет истинность х5, поэтому все ПЯТЬ наборов значений параметров сохраняются в решении. Истинности второй функции удовлетворяет только последний набор, не зависящий от y1.
Итого, у нас получаются ПЯТЬ комбинаций параметров первой функции с единственным набором параметров второй.
Ответ: имеется пять допустимых комбинаций входных параметров.

Alviko_zn (142k баллов) 20 Март, 18