Задание 23

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

(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, при которых выполнена данная система равенств.

В качестве ответа Вам нужно указать количество таких наборов.

Ответ: 61