Сколько различных решений имеет система уравнений x1 ∨ ¬x2 = 1x2 ∨ ¬x3

Решение по шагам

1. 1

   Как рассуждать

   Решение. Построим дерево решений для первого уравнения. [рисунок] Получилось три набора переменных, удовлетворяющих этому уравнению. Теперь рассмотрим второе уравнение, оно аналогично первому, следовательно, его дерево решений аналогично первому. Это означает, что значению x2 равному единице удовлетворяют значения x3, равные 0 и 1, а если x2 равно 0, то только значение