Присоединиться

11 класс·средний уровень

Сколько существует различных наборов значений логических переменных x₁

Условие

Сколько существует различных наборов значений логических переменных x₁, x₂, … x₆, y₁, y₂, … y₆, которые удовлетворяют всем перечисленным ниже условиям? (x₁ → (x₂ ∧ y₁)) ∧ (y₁ → y₂) = 1(x₂ → (x₃ ∧ y₂)) ∧ (y₂ → y₃) = 1...(x₅ → (x₆ ∧ y₅)) ∧ (y₅ → y₆) = 1x₆ → y₆ = 1 В ответе не нужно перечислять все различные наборы значений переменных x₁, x₂, … x₆, y₁, y₂, … y₆, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.

Ответ

Ответ и полный разбор откроются после входа

Посмотреть ответ

Решение по шагам

  1. Как рассуждать

    Решение. Каждое однотипное уравнение выполняется тогда и только тогда, когда (x_i → (x_(i+1) ∧ y_i)) = 1 и при этом (y_i → y_(i+1)) = 1.Рассмотрим какие наборы y могут иметь место. Заметим, что если y₆ = 1, то y₅ также должно равно 1, аналогично, при y₅ = 1 y₄ должно быть равно 1 и так далее. То есть набор решений для переменных y должен иметь следующий вид: сначала нули, а затем единицы. Для переменных y имеем следующие наборы решений: 000 000; 000 001; 000 011; 000 111; 001 111; 011 111; 111 111.Рассмотрим все возможные комбинации переменных для первого уравнения. Если y₁ =0, то x₁ должно быть равно 0, x₂ может быть каким угодно. Если y₁ = 1, x₁ = 0, то x₂ может быть каким угодно. Если y₁ = 1, x₁ = 1, то x₂ должно быть равно единице.В остальных уравнениях соотношения между соответствующими x и y аналогичны.

    Будем записывать наборы переменных x и y в виде таблицы: наборы x сверху, наборы y снизу, например, в записи \beginalignx000111y001111\endalign\beginalign x000111 y001111 \endalign x₁ = 0, x₂ = 0, x₃ = 0, x₄ = 1, x₅ = 1, x₆ = 1; y₁ = 0; y₂ = 0, y₃ = 1, y₄ = 1, y₅ = 1, y₆ =

Осталось ещё 3 шага

  1. Из предыдущих рассуждения ясно, что в наборах…

  2. Для y = 000 001 два набора: x000 000y000…

  3. Для y = 000 011 три набора: x000 000y000…

Получить полное решение

Бесплатно · займёт минуту

Другие задачи по теме «Логические уравнения»