Задание
Сколько существует различных наборов значений логических переменных x1, x2, …, x8, которые удовлетворяют всем перечисленным ниже условиям?
\(x1 ˄ ¬ x2\) → \(x3 ≡ x4\) = 1
\(x3 ˄ ¬ x4\) → \(x5 ≡ x6\) = 1
\(x5 ˄ ¬ x6\) → \(x7 ≡ x8\) = 1
В ответе не нужно перечислять все различные наборы значений переменных x1, x2, …, x8, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.