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