23 Сколько существует различных наборов значений логических переменных x1, x2, ... x8, y1, y2, … y8, которые удовлетворяют всем перечисленным ниже условиям?
(x1→x2) /\ (y1→y2) /\ (y1→x1) = 1
(x2→x3) /\ (y2→y3) (y2→x2) = 1
…
(x7→x8) /\ (y7→y8) /\ (y7→x7) = 1
(y8→x8) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ... x8, y1, y2, … y8, при которых выполнена данная система равенств.
В качестве ответа Вам нужно указать количество таких наборов.
Answers & Comments
(x1 ∨ x2) ∧ ((x1 ∧ x2) → x3) ∧ (¬x1 ∨ y1) = 1
(x2 ∨ x3) ∧ ((x2 ∧ x3) → x4) ∧ (¬x2 ∨ y2) = 1
…
(x6 ∨ x7) ∧ ((x6 ∧ x7) → x8) ∧ (¬x6 ∨ y6) = 1
(x7 ∨ x8) ∧ (¬x7 ∨ y7) = 1
(¬x8 ∨ y8) = 1
Вответе не нужно перечислять все различные наборы значенийпеременных x1, x2, … x8, y1, y2, … y8, при которых выполненаданная система равенств. В качестве ответа Вам нужно указатьколичество таких наборов.
Изпоследнего уравнения находим, что возможны три вариантазначений x8 и y8: 01, 00, 11. Построим древо вариантов дляпервой и второй пар значений.
Таким образом, имеем 16 наборов переменных.
Дерево вариантов для пары значений 11:
Получаем 45 вариантов. Таким образом, система будет иметь 45 + 16 = 61 различных наборов решений.