Условие задачи
Сколько различных решений имеет система уравнений
¬x1 ∨ x2 = 1
¬x2 ∨ x3 = 1
…
¬x9 ∨ x10 = 1,
где x1, x2, … x10 — логические переменные?
В ответе не нужно перечислять все различные наборы значений x1, x2, … x10, при которых выполнена данная система равенств. В качестве ответа Вам нужно указать количество таких наборов.
Ответ
Решим первое уравнение. Дизъюнкция равна 1, если хотя бы один из ее операндов равен 1. Т.е. решениями являются наборы:
Для x1=0 существуют дв...