23

Подсчёт наборов логических переменных

ЕГЭ · Информатика · Задание 23 · Логика и булева алгебра
ВысокаяФИПИ71F4D6Короткий ответ≈ 7 минутОтвет сверен с ключом

Сколько существует различных наборов значений логических переменных $x_1, x_2, \ldots, x_6, y_1, y_2, \ldots, y_{10}$, которые удовлетворяют всем приведённым ниже условиям?

$$(x_i \land y_j \to x_i \land y_{j+1}) \land (x_i \land y_j \to x_{i+1} \land y_j)=1$$

для всех натуральных $i$ и $j$, таких, что $i<6$ и $j<10$.

Иными словами, для каждой пары $i,j$ из указанного диапазона проверяется, что если одновременно истинны $x_i$ и $y_j$, то истинными должны быть также $y_{j+1}$ и $x_{i+1}$.

Условие как в банке ФИПИ — открыть и сверить
Впишите правильный ответ.

Сколько существует различных наборов значений логических переменных
x1, x2, … x6, y1, y2, … y10, которые удовлетворяют всем приведённым ниже условиям?

(xi ∧ yj → xi ∧ yj + 1) ∧ (xi ∧ yj → xi + 1 ∧ yj) = 1

для всех натуральных i и j, таких, что i < 6 и j < 10.

Ниже для Вашего удобства приведены некоторые из равенств, соответствующих этим условиям.

(x1 ∧ y1 → x1 ∧ y2) ∧ (x1 ∧ y1 → x2 ∧ y1) = 1

(x1 ∧ y2 → x1 ∧ y3) ∧ (x1 ∧ y2 → x2 ∧ y2) = 1

…

(x5 ∧ y8 → x5 ∧ y9) ∧ (x5 ∧ y8 → x6 ∧ y8) = 1

(x5 ∧ y9 → x5 ∧ y10) ∧ (x5 ∧ y9 → x6 ∧ y9) = 1

В ответе не нужно перечислять все различные наборы значений переменных x1, x2, … x6, y1, y2, … y10, удовлетворяющих условию задачи.
В качестве ответа Вам нужно указать количество таких наборов.



Ваш ответ

Формат: число или слово без единиц измерения; дробную часть отделяйте запятой.

!
3 уровня: от лёгкого толчка до почти готового решения. Следующий открывается, когда прочитан предыдущий, — чтобы не перепрыгнуть сразу к ответу.
1Мягкая — с чего смотретьуровень 1 из 3

Рассмотрите отдельно случаи, когда хотя бы одна из переменных $x_i$ или $y_j$ принимает значение 1.

2Наводящая — какие числа считатьуровень 2 из 3

Импликация $A\to B$ нарушается только тогда, когда $A=1$, а $B=0$. Поэтому при $x_i=y_j=1$ должны выполняться $x_{i+1}=1$ и $y_{j+1}=1$.

3Прямая — фактически решениеуровень 3 из 3

Переберите допустимые состояния строк переменных $x_1,\ldots,x_6$ и $y_1,\ldots,y_{10}$, отбрасывая каждый набор, в котором для некоторой пары $i<6$, $j<10$ выполняется $x_i=y_j=1$ и хотя бы одна из переменных $x_{i+1},y_{j+1}$ равна 0. Число оставшихся наборов равно $2217$.

Всё равно не складывается?Полное решение с обоснованием каждого шага — на отдельной странице.
Открыть решение

Задание 23 ЕГЭ, информатика

Задача из темы «Логика и булева алгебра»: в ней 225 задач с ответом и разбором по шагам. В 23-м номере бланка — 260 задач.

Ответ можно проверить здесь же, а если не выходит — открыть подсказку или разбор. Регистрация не нужна.