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