Задание

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

\(¬\(x7 ≡ y7\)) ≡ \(x8 ≡ y8\)
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ...x8, y1, y2, ...y8, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.