РУҚА
23

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

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

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

$(x_1 \to (x_2 \land y_2)) \land (y_1 \to y_2) = 1$

$(x_2 \to (x_3 \land y_3)) \land (y_2 \to y_3) = 1$

$\ldots$

$(x_8 \to (x_9 \land y_9)) \land (y_8 \to y_9) = 1$.

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

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

(x1 → (x2 /\ y2)) /\ (y1 → y2) = 1

(x2 → (x3 /\ y3)) /\ (y2 → y3) = 1

…

(x8 → (x9 /\ y9)) /\ (y8 → y9) = 1

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



Ваш ответ

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

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

Рассмотрите четыре возможных состояния пары $(x_i, y_i)$: $00$, $10$, $01$ и $11$. Какие состояния могут быть следующими для каждого из них?

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

Из состояния $00$ можно перейти в любое состояние; из $10$ — только в $11$; из $01$ — в $01$ или $11$; из $11$ — только в $11$.

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

Подсчитайте количество последовательностей состояний динамически: после $k$ пар количества имеют вид $(1, 1, k, a_k)$, где $a_{k+1}=a_k+k+1$, начиная с $a_1=1$. Для $k=9$ сумма равна $1+1+9+53=64$.

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

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

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

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