Задание 23. Алгебра логики. Системы логических уравнений. ЕГЭ 2020 по информатике
Средний процент выполнения: 25.4%
Ответом к заданию 23 по информатике может быть цифра (число) или слово.
Задачи для практики
Задача 1
Сколько существует различных наборов значений логических переменных $x_1, x_2, . . . x_{10}$, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\((x_1 ≡ x_2) ∧ (¬x_3 ≡ x_4)) ∨ ((¬x_1 ∧ ¬x_2) ∧ (¬x_3 ≡ x_4)) = 0; \((x_3 ≡ x_4) ∧ (¬x_5 ≡ x_6)) ∨ ((¬x_3 ∧ ¬x_4) ∧ (¬x_5 ≡ x_6)) = 0; \((x_5 ≡ x_6) ∧ (¬x_7 ≡ x_8)) ∨ ((¬x_5 ∧ ¬x_6) ∧ (¬x_7 ≡ x_8)) = 0; \((x_7 ≡ x_8) ∧ (¬x_9 ≡ x_{10})) ∨ ((¬x_7 ∧ ¬x_8) ∧ (¬x_9 ≡ x_10)) = 0;$
Решение
При рассмотрении решения задачи с целью исключения путаницы в качестве знака тождественного преобразования и тождественного равенства используется символ «=», а в качестве знака эквиваленции — «≡».
1. Преобразуем первое уравнение системы: $((x_1 ≡ x_2) ∧ (¬x_3 ≡ x_4)) ∨ ((¬x_1 ∧ ¬x_2) ∧ (¬x_3 ≡ x_4)) = 0.$
Применяя к этому уравнению дистрибутивный закон $F ∧ (G ∨ Q) = (F ∧ G) ∨ (F ∧ Q)$, получим:
$((x_1 ≡ x_2) ∨ (¬x_1 ∧ ¬x_2)) ∧ (¬x_3 ≡ x_4) = 0.$
2. Покажем, что $x_1 ≡ x_2 = (¬x_1 ∧ ¬x_2) ∨ (x_1 ∧ x_2)$.
На основании законов алгебры логики преобразуем левую часть этого выражения:
| Преобразование левой части первого выражения | Закон логики, применяемый к предыдущему выражению |
| $x_1 ≡ x_2 =$ | |
| $(x_1 → x_2) ∧ (x_2 → x_1) =$ | Правило исключения эквиваленции |
| $(¬x_1 ∨ x_2) ∧ (¬x_2 ∨ x_1) =$ | Правило исключения импликации $F → G = ¬F ∨ G$ |
| $(¬x_1 ∧ ¬x_2) ∨ (x_2 ∧ ¬x_2) ∨ (¬x_1 ∧ x_1) ∨ (x_2 ∧ x_1) =$ | Дистрибутивный закон $F ∨ (G ∧ Q) = (F ∨ G) ∧ (F ∨ Q)$ |
| $(¬x_1 ∧ ¬x_2) ∨ 0 ∨ 0 ∨ (x_2 ∨ x_1) =$ | Закон противоречия $F ∧ ¬F = 0$ |
| $(¬x_1 ∧ ¬x_2) ∨ (x_2 ∨ x_1)$ | Тождество $F ∨ 0 = F$ |
3. Подставляя в выражение вместо $x_1 ≡ x_2$ правую часть выражения, получим $((¬x_1 ∧ ¬x_2) ∨ (x_1 ∧ x_2) ∨ (¬x_1 ∧ ¬x_2)) ∧ (¬x_3 ≡ x_4) = 0$.
Учитывая идемпотентность операции $∨ (F ∨ F = F)$, получим: $((¬x_1 ∧ ¬x_2) ∨ (x_1 ∧ x_2)) ∧ (¬x_3 ≡ x_4) = 0$.
Повторно применяя к этому выражению преобразование, находим, что первое уравнение исходной системы принимает вид: $(x_1 ≡ x_2) ∧ (¬x_3 ≡ x_4) = 0$.
3. Так как остальные уравнения отличаются от первого только индексами, то исходная система уравнений принимает вид:
$\{\table\(x_1 ≡ x_2) ∧ (¬x_3 ≡ x_4) = 0; /(x_3 ≡ x_4) ∧ (¬x_5 ≡ x_6) = 0; \(x_5 ≡ x_6) ∧ (¬x_7 ≡ x_8) = 0; \(x_7 ≡ x_8) ∧ (¬x_9 ≡ x_10) = 0;$
Далее для полученного уравнения представлены два способа решения.
Логическая переменная x1 может принимать одно из двух возможных значений: 0 или 1.
1) Рассмотрим для каждого из этих значений, какие значения могут принимать логические переменные x2, x3, x4, чтобы первое уравнение системы было ложным.
1.1) Если значения переменных x1 и x2 совпадают, то высказывание x1 ≡ x2 истинно. Значит, высказывание (x1 ≡ x2) ∧ (¬x3 ≡ x4) ложно только в случае, когда x3 = x4. Количество пар значений (x1; x2), у которых значения совпадают, равно 2: (0; 0), (1; 1).Следовательно, количество соответствующих им пар, содержащих переменные x3 и x4, равно 4 = 2·2: (0; 0; 0; 0), (0; 0; 1; 1), (1; 1; 0; 0), (1; 1; 1; 1).
1.2) Если же значения переменных x1 и x2 различны, то высказывание x1 ≡ x2 ложно, и значит (x1 ≡ x2) ∧ (¬x3 ≡ x4) ложно при любых значениях логических переменных x3 и x4. Количество пар значений (x1; x2), у которых значения различны, равно 2: (0; 1), (1; 0). Количество соответствующих им пар, содержащих переменные x3 и x4, увеличивается в 4 раза: 2 · 4 = 8.
Изобразим полученные значения в виде схемы:
Заметим, что количество пар значений (x3; x4), у которых значения совпадают, равно 2·4 = 8 — удвоенному количеству пар значений (x1; x2). А количество пар значений (x3; x4), у которых значения различны, равно 2 · 2 = 4 — удвоенному количеству пар различных значений (x1; x2).
Таким образом, для каждого набора значений логических переменных x1 и x2 количество наборов, содержащих переменные x3 и x4, равно 2 · 4 + 2 · 2 = 8 + 4 = 12.
2) Второе уравнение системы содержит две переменные x5 и x6, не входящие в первое уравнение. Это уравнение отличается от первого только тем, что индексы входящих в него переменных на два больше.
Поэтому все рассуждения, приведённые для первого уравнения, имеют место и для второго уравнения. А именно для каждого набора значений логических переменных x3 и x4 количество наборов, содержащих переменные x5 и x6, равно 2 · 12 + 2 · 4 = 24 + 8 = 32 (сумма удвоенного количества пар значений (x3; x4), у которых значения совпадают, и удвоенного количество пар значений (x3; x4), у которых значения различны,).
3) Третье и последующие уравнения системы отличаются от предыдущего только тем, что индексы входящих в них переменных на два больше, и каждое следующее уравнение системы содержит две переменные, не входящие в предыдущее уравнение.
Следовательно, количество различных наборов логических переменных, входящих в эти уравнения, изменяется по тем же правилам.
| Количество пар, у которых значения: | (x1; x2) | (x3; x4) | (x5; x6) | (x7; x8) | (x9; x10) |
| – совпадают | 2 | 2 · 4 = 8 | 2 · 12 = 24 | 2 · 32 = 64 | 2 · 80 = 160 |
| – различны | 2 | 2 · 2 = 4 | 2 · 4 = 8 | 2 · 8 = 16 | 2 · 16 = 32 |
| Всего наборов | 4 | 12 | 32 | 80 | 192 |
Следовательно, количество различных наборов логических переменных, удовлетворяющих всем перечисленным в условии уравнениям, равно 192.
Задача 2
Сколько существует различных наборов значений логических переменных x1, x2, . . . , x10, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\¬(x_1 ≡ x_2) ∧ ((x_1 ∧ ¬x_3) ∨ (¬x_1 ∧ x_3)) = 0; \¬(x_2 ≡ x_3) ∧ ((x_2 ∧ ¬x_4) ∨ (¬x_2 ∧ x_4)) = 0; \. . .; \¬(x_8 ≡ x_9) ∧ ((x_8 ∧ ¬x_{10}) ∨ (¬x_8 ∧ x_{10})) = 0;$
В ответе не нужно перечислять все различные наборы значений x1, x2, . . . , x10, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.
Решение
1) На основании законов алгебры логики преобразуем левую часть первого выражения (с целью исключения путаницы в качестве знака тождественного преобразования используется символ «=»).
| Преобразование левой части первого выражения | Закон логики, применяемый к предыдущему выражению |
| ¬(x1 ≡ x2) ∧ ((x1 ∧ ¬x3) ∨ (¬x1 ∧ x3)) = | |
| ¬(x1 ≡ x2)∧¬¬((x1∧¬x3)∨(¬x1∧x3)) = | Закон двойного отрицания ¬¬F ≡ F |
| ¬(x1 ≡ x2)∧¬(¬(x1∧¬x3)∧¬(¬x1∧x3) = | Закон де Моргана ¬(F ∨ G) ≡ ¬F ∧ ¬G |
| ¬(x1 ≡ x2) ∧ ¬(¬x1 ∨ x3) ∧ (x1 ∨ ¬x3) = | Закон де Моргана ¬(F ∧ G) ≡ ¬F ∨ ¬G |
| ¬(x1 ≡ x2) ∧ ¬(¬x1 ∨ x3) ∧ (¬x3 ∨ x1) = | Коммутативность операции ∧ F ∧ G ≡ G ∧ F |
| ¬(x1 ≡ x2) ∧ ¬(x1 → x3) ∧ (x3 → x1) = | Правило исключения импликации F → G ≡ ¬F ∨ G |
| ¬(x1 ≡ x2) ∧ ¬(x1 ≡ x3) = | Правило исключения эквиваленции F ↔ G ≡ (F → G) ∧ (G → F) |
| ¬((x1 ≡ x2) ∨ (x1 ≡ x3)) | Закон де Моргана ¬(F ∧ G) ≡ ¬F ∨ ¬G |
Таким образом, первое уравнение принимает вид: ¬((x1 ≡ x2) ∨ (x1 ≡ x3)) = 0.
Применяя отрицание к обеим частям, получаем: ¬¬((x1 ≡ x2) ∨ (x1 ≡ x3)) = ¬0.
Отсюда, (x1 ≡ x2) ∨ (x1 ≡ x3) = 1.
Так как остальные уравнения отличаются от первого только индексами, то исходная система уравнений принимает вид:
(x1 ≡ x2) ∨ (x1 ≡ x3) = 1,
(x2 ≡ x3) ∨ (x2 ≡ x4) = 1,
. . .
(x8 ≡ x9) ∨ (x9 ≡ x10) = 1.
2) Первое уравнение системы представляет собой дизъюнкцию двух высказываний. Дизъюнкция истинна (равна единице) только в том случае, когда хотя бы одно из высказываний, связанных дизъюнкцией, истинно.
Значит, должно выполняться (x1 ≡ x2) = 1 или (x1 ≡ x3) = 1.
Если x1 = x2, то высказывание x1 ≡ x2 истинно. Следовательно, при любых значениях x3 истинно высказывание (x1 ≡ x2) ∨ (x1 ≡ x3).
Если x1 ≠ x2, то высказывание x1 ≡ x2 ложно. Следовательно, высказывание (x1 ≡ x2)∨(x1 ≡ x3) истинно, только в случае, когда x1 = x3. Изобразим полученные значения в виде схемы.
Таким образом, количество наборов логических переменных, удовлетворяющих первому уравнению рассматриваемой системы, равно 6 = 2 · 3 (где 3 — количество переменных, содержащихся в уравнении).
Так как следующие уравнения отличаются от первого только индексами (в каждом последующем уравнении индекс на 1 больше, чем в предыдущем), то мы видим, что для каждого последующего уравнения количество наборов переменных, удовлетворяющих рассматриваемому уравнению и предыдущим, увеличивается на 2.
Так, для второго уравнения количество наборов равно 8 (равно удвоенному индексу новой переменной).
Для третьего — 10 и т. д. Для восьмого — 20.
Задача 3
Сколько существует различных наборов значений логических переменных $x_1, x_2, . . . x_{10}$, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\((x_1 ≡ x_2 ) ∧ (¬x_3 ≡ x_4 )) ∨ ((¬x_1 ∧ ¬x_2) ∧ (¬x_3 ≡ x_4)) = 0; \((x_3 ≡ x_4) ∧ (¬x_5 ≡ x_6)) ∨ ((¬x_3 ∧ ¬x_4) ∧ (¬x_5 ≡ x_6)) = 0; \((x_5 ≡ x_6) ∧ (¬x_7 ≡ x_8)) ∨ ((¬x_5 ∧ ¬x_6) ∧ (¬x_7 ≡ x_8)) = 0; \((x_7 ≡ x_8) ∧ (¬x_9 ≡ x_{10})) ∨ ((¬x_7 ∧ ¬x_8) ∧ (¬x_9 ≡ x_{10})) = 0.;$
В ответе не нужно перечислять все различные наборы значений $x_1, x_2, . . . x_{10}$, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.
Решение
При рассмотрении решения задачи с целью исключения путаницы в качестве знака тождественного преобразования и тождественного равенства используется символ «=», а в качестве знака эквиваленции — «≡». 1. Преобразуем первое уравнение системы:
((x1 ≡ x2) ∧ (¬x3 ≡ x4)) ∨ ((¬x1 ∧ ¬x2) ∧ (¬x3 ≡ x4)) = 0.
Применяя к этому уравнению дистрибутивный закон F ∧ (G ∨ Q) = (F ∧ G) ∨ (F ∧ Q), получим:
((x1 ≡ x2) ∨ (¬x1 ∧ ¬x2)) ∧ (¬x3 ≡ x4) = 0. (1)
2. Покажем, что
x1 ≡ x2 = (¬x1 ∧ ¬x2) ∨ (x1 ∧ x2). (2)
На основании законов алгебры логики преобразуем левую часть этого выражения:
| Преобразование левой части первого выражения | Закон логики, применяемый к предыдущему выражению |
| x1 ≡ x2 = | |
| (x1 → x2) ∧ (x2 → x1) = | Правило исключения эквиваленции |
| (¬x1 ∨ x2) ∧ (¬x2 ∨ x1) = | Правило исключения импликации F → G = ¬F ∨ G |
| (¬x1 ∧ ¬x2) ∨ (x2 ∧ ¬x2)∨ (¬x1 ∧ x1) ∨ (x2 ∧ x1) = | Дистрибутивный закон F ∨ (G ∧ Q) = (F ∨ G) ∧ (F ∨ Q) |
| (¬x1 ∧ ¬x2) ∨ 0 ∨ 0 ∨ (x2 ∨ x1) = | Закон противоречия F ∧ ¬F = 0 |
| (¬x1 ∧ ¬x2) ∨ (x2 ∨ x1) | Тождество F ∨ 0 = F |
3. Подставляя в выражение (1) вместо x1 ≡ x2 правую часть выражения (2), получим
((¬x1 ∧ ¬x2) ∨ (x1 ∧ x2) ∨ (¬x1 ∧ ¬x2)) ∧ (¬x3 ≡ x4) = 0.
Учитывая идемпотентность операции ∨ (F ∨ F = F), получим:
((¬x1 ∧ ¬x2) ∨ (x1 ∧ x2)) ∧ (¬x3 ≡ x4) = 0.
Повторно применяя к этому выражению преобразование (2), находим, что первое уравнение исходной системы принимает вид:
(x1 ≡ x2) ∧ (¬x3 ≡ x4) = 0.
4. Так как остальные уравнения отличаются от первого только индексами, то исходная система уравнений принимает вид:
$\{\table\(x_1 ≡ x_2) ∧ (¬x_3 ≡ x_4) = 0; \(x_3 ≡ x_4) ∧ (¬x_5 ≡ x_6) = 0; \(x_5 ≡ x_6) ∧ (¬x_7 ≡ x_8) = 0; \(x_7 ≡ x_8) ∧ (¬x_9 ≡ x_{10}) = 0;$
Далее для полученного уравнения представлены два способа решения.
Способ 1. Логическая переменная x1 может принимать одно из двух возможных значений: 0 или 1.
1) Рассмотрим для каждого из этих значений, какие значения могут принимать логические переменные x2, x3, x4, чтобы первое уравнение системы было ложным.
1.1) Если значения переменных x1 и x2 совпадают, то высказывание x1 ≡ x2 истинно. Значит, высказывание (x1 ≡ x2) ∧ (¬x3 ≡ x4) ложно только в случае, когда x3 = x4. Количество пар значений (x1; x2), у которых значения совпадают, равно 2: (0; 0), (1; 1). Следовательно, количество соответствующих им пар, содержащих переменные x3 и x4, равно 4 = 2 · 2: (0; 0; 0; 0), (0; 0; 1; 1), (1; 1; 0; 0), (1; 1; 1; 1).
1.2) Если же значения переменных x1 и x2 различны, то высказывание x1 ≡ x2 ложно, и значит (x1 ≡ x2) ∧ (¬x3 ≡ x4) ложно при любых значениях логических переменных x3 и x4. Количество пар значений (x1; x2), у которых значения различны, равно 2: (0; 1), (1; 0). Количество соответствующих им пар, содержащих переменные x3 и x4, увеличивается в 4 раза: 2 · 4 = 8.
Изобразим полученные значения в виде схемы 1:
Схема 1.
Заметим, что количество пар значений (x3; x4), у которых значения совпадают, равно 2 · 4 = 8 — удвоенному количеству пар значений (x1; x2). А количество пар значений (x3; x4), у которых значения различны, равно 2 · 2 = 4 — удвоенному количеству пар различных значений (x1; x2).
Таким образом, для каждого набора значений логических переменных x1 и x2 количество наборов, содержащих переменные x3 и x4, равно 2 · 4 + 2 · 2 = 8 + 4 = 12.
2) Второе уравнение системы содержит две переменные x5 и x6, не входящие в первое уравнение. Это уравнение отличается от первого только тем, что индексы входящих в него переменных на два больше.
Поэтому все рассуждения, приведённые для первого уравнения, имеют место и для второго уравнения. А именно для каждого набора значений логических переменных x3 и x4 количество наборов, содержащих переменные x5 и x6, равно 2 · 12 + 2 · 4 = 24 + 8 = 32 (сумма удвоенного количества пар значений (x3; x4), у которых значения совпадают, и удвоенного количество пар значений (x3; x4), у которых значения различны.
3) Третье и последующие уравнения системы отличаются от предыдущего только тем, что индексы входящих в них переменных на два больше, и каждое следующее уравнение системы содержит две переменные, не входящие в предыдущее уравнение.
Следовательно, количество различных наборов логических переменных, входящих в эти уравнения, изменяется по тем же правилам.
| Количество пар, у которых значения: | (x1; x2) | (x3; x4) | (x5; x6) | (x7; x8) | (x9; x10) |
| – совпадают | 2 | 2 · 4 = 8 | 2 · 12 = 24 | 2 · 32 = 64 | 2 · 80 = 160 |
| – различны | 2 | 2 · 2 = 4 | 2 · 4 = 8 | 2 · 8 = 16 | 2 · 16 = 32 |
| Всего наборов | 4 | 12 | 32 | 80 | 192 |
Следовательно, количество различных наборов логических переменных, удовлетворяющих всем перечисленным в условии уравнениям, равно 192.
Задача 4
Сколько существует различных наборов значений логических переменных $x_1, x_2$, . . . $x_6, x_7$, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\ ((x_1 ≡ x_2) ∧ (x_1 ≡ x_3)) ∨ ((x_2 ≡ x_3) ∧ (x_2 ≡ x_4)) = 0; \ ((x_2 ≡ x_3) ∧ (x_2 ≡ x_4)) ∨ ((x_3 ≡ x_4) ∧ (x_3 ≡ x_5)) = 0; \ ((x_3 ≡ x_4) ∧ (x_3 ≡ x_5)) ∨ ((x_4 ≡ x_5) ∧ (x_4 ≡ x_6)) = 0; \ ((x_4 ≡ x_5) ∧ (x_4 ≡ x_6)) ∨ ((x_5 ≡ x_6) ∧ (x_5 ≡ x_7)) = 0;$
В ответе не нужно перечислять все различные наборы значений $x_1, x_2$, . . . $x_6, x_7$, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.
Решение
Задача 5
Сколько существует различных наборов значений логических переменных $x_1, x_2$, . . . $x_{10}$, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\ ((x_1 ≡ x_2) ∧ (¬x_3 ≡ x_4)) ∨ ((¬x_1 ∧ ¬x_2) ∧ (¬x_3 ≡ x_4)) = 0; \ ((x_3 ≡ x_4) ∧ (¬x_5 ≡ x_6)) ∨ ((¬x_3 ∧ ¬x_4) ∧ (¬x_5 ≡ x_6)) = 0; \ ((x_5 ≡ x_6) ∧ (¬x_7 ≡ x_8)) ∨ ((¬x_5 ∧ ¬x_6) ∧ (¬x_7 ≡ x_8)) = 0; \ ((x_7 ≡ x_8) ∧ (¬x_9 ≡ x_{10})) ∨ ((¬x_7 ∧ ¬x_8) ∧ (¬x_9 ≡ x_{10})) = 0;$
В ответе не нужно перечислять все различные наборы значений $x_1, x_2$, . . . $x_{10}$, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.
Решение
Задача 6
Сколько существует различных наборов значений логических переменных $x_1, x_2$, . . . $x_7, x_8$, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\ ¬(x_1 ≡ x_2) ∧ (x_2 ∨ x_3) ∧ (¬x_2 ∨ ¬x_3) = 0; \ ¬(x_2 ≡ x_3) ∧ (x_3 ∨ x_4) ∧ (¬x_3 ∨ ¬x_4) = 0; \ . . .; \ ¬(x_6 ≡ x_7) ∧ (x_7 ∨ x_8) ∧ (¬x_7 ∨ ¬x_8) = 0;$
В ответе не нужно перечислять все различные наборы значений $x_1, x_2$, . . . $x_7, x_8$, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.
Решение
Задача 7
Сколько существует различных наборов значений логических переменных $x_1, x_2$, . . . , $x_{10}$, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\ ¬(x_1 ≡ x_2) ∧ ((x_1 ∧ ¬x_3) ∨ (¬x_1 ∧ x_3)) = 0; \ ¬(x_2 ≡ x_3) ∧ ((x_2 ∧ ¬x_4) ∨ (¬x_2 ∧ x_4)) = 0; \ . . .; \ ¬(x_8 ≡ x_9) ∧ ((x_8 ∧ ¬x_{10}) ∨ (¬x_8 ∧ x_{10})) = 0;$
В ответе не нужно перечислять все различные наборы значений $x_1, x_2$, . . . , $x_{10}$, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.
Решение
Задача 8
Сколько существует различных наборов значений логических переменных $x_1, x_2$, . . . , $x_5, y_1, y_2$, . . . , $y_5$, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\ (y_1 ∧ (x_1 → y_2)) ∨ (x_1 ≡ x_2) = 1; \ (y_2 ∧ (x_2 → y_3)) ∨ (x_2 ≡ x_3) = 1; \ (y_3 ∧ (x_3 → y_4)) ∨ (x_3 ≡ x_4) = 1; \ (y_4 ∧ (x_4 → y_5)) ∨ (x_4 ≡ x_5) = 1;$
В ответе не нужно перечислять все различные наборы значений $x_1, x_2$, . . . , $x_5, y_1, y_2$, . . . , $y_5$, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.
Решение
Задача 9
Сколько существует различных наборов значений логических переменных $x_1, x_2$, . . . , $x_5, y_1, y_2$, . . . , $y_5$, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\ (y_2 → (y_1 ∧ x_2)) ∧ (y_2 → x_1) = 1; \(y_3 → (y_2 ∧ x_3)) ∧ (y_3 → x_2) = 1; \(y_4 → (y_3 ∧ x_4)) ∧ (y_4 → x_3) = 1; \(y_5 → (y_4 ∧ x_5)) ∧ (y_5 → x_4) = 1;$
В ответе не нужно перечислять все различные наборы значений $x_1, x_2$, . . . , $x_5, y_1, y_2$, . . . , $y_5$, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.
Решение
Задача 10
Сколько существует различных наборов значений логических переменных $x_1, x_2$, . . . , $x_8, y_1, y_2$, . . . , $y_8$, которые удовлетворяют всем перечисленным ниже условиям?
$\{\table\ (¬x_1 ∨ ¬x_2) ∧ ((x_1 ∧ x_2) → x_3) ∧ (¬x_3 ≡ y_1) = 1;\ (¬x_2 ∨ ¬x_3) ∧ ((x_2 ∧ x_3) → x_4) ∧ (¬x_4 ≡ y_2) = 1;\ . . .;\ (¬x_6 ∨ ¬x_7) ∧ ((x_6 ∧ x_7) → x_8) ∧ (¬x_8 ≡ y_6) = 1;\ (¬x_7 ∨ ¬x8) ∧ (¬y_7 ∨ y_8) = 1;$
В ответе не нужно перечислять все различные наборы значений $x_1, x_2$, . . . , $x_8, y_1, y_2$, . . . , $y_8$, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.