Сколько существует различных наборов значений логических переменных $x_1, x_2$, . . . , $x_8$, которые удовлетворяют всем перечисленным ниже условиям?
${table ¬(x_1 ≡ x_2) ∧ (x_1 ∨ x_3) ∧ (¬x_1 ∨ ¬x_3) = 0; ¬(x_2 ≡ x_3) ∧ (x_2 ∨ x_4) ∧ (¬x_2 ∨ ¬x_4) = 0; . . .; ¬(x_6 ≡ x_7) ∧ (x_6 ∨ x_8) ∧ (¬x_6 ∨ ¬x_8) = 0;$
В ответе не нужно перечислять все различные наборы значений $x_1, x_2$, . . . , $x_8$, при которых выполнима данная система равенств. В качестве ответа нужно указать количество таких наборов.
Ответ: 16