Сколько существует различных наборов значений логических переменных x1

Заметим, что первое и второе уравнения не связаны между собой ни через какие переменные.
Рассмотрим первое уравнение. Для того, чтобы равенство выполнялось, необходимо, чтобы каждая скобка была истинной. Импликация ложна только тогда, когда посылка истинна, а следствие ложно. Представим решение этого уравнения в виде дерева.
Рассмотрим второе уравнение . Чтобы равенство выполнялось, необходимо, чтобы каждая скобка была истинной. Дерево для решения этого уравнения будет выглядеть так:
Теперь рассмотрим третье уравнение. Конъюнкция истинна только, если все операнды истинны. Каждое уравнения вида ¬xn ˅ yn=1 имеет три решения: 01, 00, 11. То есть для каждой пары xn, yn запрещены решения вида 10.
Будем представлять решения уравнений в виде набора нулей и единиц, например, решение x1=0, x2=x3=x4=x5=x6=1 имеет вид 011 111