Сколько различных решений имеет система уравнений ¬x1 ∨ x2 = 1
¬x2 ∨ x3 = 1
…
¬x9 ∨ x10 = 1,
где x1, x2, … x10 — логические переменные?
В ответе не нужно перечислять все различные наборы значений x1, x2, … x10, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.