• Срочно надо решить задачку по инфе оч срочно завтра пересдать надо а я не знаю как эту решить напишите как решали и с объяснением

    question img

Ответы 2

  • Не силён в теории, но вот практическое решение:Получилось 5
    answer img
  • А вот "теоретическое" решение.\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.Итого, у нас получаются ПЯТЬ комбинаций параметров первой функции с единственным набором параметров второй.Ответ: имеется пять допустимых комбинаций входных параметров.
    answer img
    • Автор:

      jaydon
    • 6 лет назад
    • 0
  • Добавить свой ответ

Еще вопросы

Войти через Google

или

Забыли пароль?

У меня нет аккаунта, я хочу Зарегистрироваться

How much to ban the user?
1 hour 1 day 100 years