ЕГЭ 23. (x1 \/ x2) → (x3 ≡ x4) = 1 Сколько существует различных наборов

(x1 \/ x2) → (x3 ≡ x4) = 1

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

(x1 \/ x2) → (x3 ≡ x4) = 1
(x3 \/ x4) → (x5 ≡ x6) = 1
(x5 \/ x6) → (x7 ≡ x8) = 1
(x7 \/ x8) → (x9 ≡ x10) = 1

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