Сколько различных решений имеет логическое уравнение ((x1 ≡ x2) → (x3 ≡

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

1. 1

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

   Решение. Произведём замену: y1 = x1 ≡ x2; y2 = x3 ≡ x4; y3 = x5 ≡ x6; y4 = x7 ≡ x8. Получим уравнение:(y1 → y2) ∧ (y2 → y3) ∧ (y3 → y4) = 1.Логическое И истинно, только тогда, когда истины все утверждения, поэтому данное уравнение эквивалентно системе уравнений: система выражений новая строка y1 $\to$ y2 = 1, новая строка y2 $\to$ y3 = 1, новая строка y3 $\to$ y4 =