№№ заданий Пояснения Ответы Ключ Добавить инструкцию Критерии
Источник Раздел кодификатора Ф ИПИ Справка
PDF-версия PDF-версия (вертикальная) PDF-версия (крупный шрифт) PDF-версия (с большим полем) Версия для копирования в MS Word
Задания
Задание 23 № 6275

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

 

(x1 ∧ ¬x2) ∨ (¬x1 ∧ x2) ∨ (x3 ∧ x4) ∨ (¬x3 ∧ ¬x4) = 1

(x3 ∧ ¬x4) ∨ (¬x3 ∧ x4) ∨ (x5 ∧ x6) ∨ (¬x5 ∧ ¬x6) = 1

...

(x7 ∧ ¬x8) ∨ (¬x7 ∧ x8) ∨ (x9 ∧ x10) ∨ (¬x9 ∧ ¬x10) = 1

 

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

Решение.

Построим древо решений для первого уравнения.

Первое уравнение имеет 12 решений. Второе уравнение связано с первым только через переменные x3 и x4. На основании древа решений для первого уравнения выпишем пары значений переменных x3 и x4, которые удовлетворяют первому уравнению и укажем количество таких пар значений.

 

Количество

пар значений

x3x4
×411
×400
×210
×201

 

Поскольку уравнения идентичны с точностью до индексов переменных, древо решений второго уравнения аналогично первому. Следовательно, пара значений x3 = 1 и x4 = 1 порождает два набора переменных x3, ..., x6, удовлетворяющих второму уравнению. Поскольку среди наборов решений первого уравнения данных пар четыре, всего получаем 4 · 2 = 8 наборов переменных x1, ..., x6, удовлетворяющих системе из двух уравнений. Рассуждая аналогично для пары значений x3 = 0 и x4 = 0, получаем 8 наборов переменных x1, ..., x6. Пара x3 = 1 и x4 = 0 порождает четыре решения второго уравнения. Поскольку среди наборов решений первого уравнения данных пар две, получаем 2 · 4 = 8 наборов переменных x1, ..., x6, удовлетворяющих системе из двух уравнений. Аналогично для x3 = 0 и x4 = 1 — 8 наборов решений. Всего система из двух уравнений имеет 8 + 8 + 8 + 8 = 32 решения.

Проведя аналогичные рассуждения для системы из трёх уравнений, получаем 80 наборов переменных x1, ..., x8, удовлетворяющих системе. для системы из четырёх уравнений существует 192 набора переменных x1, ..., x10, удовлетворяющих системе.

 

Ответ: 192.