Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать.
(x1 ⇒ x2) ⇒ x3 = 1
(x2 ⇒ x3) ⇒ x4 = 1
(Ответ необходимо ввести в поле ввода.)
Варианты ответа
(x1 ⇒ x2) ⇒ x3 = 1
(x2 ⇒ x3) ⇒ x4 = 1
(x1 ≡ x2) ≡ (x1 ≡ x3) = 0
(x2 ≡ x3) ≡ (x2 ≡ x4) = 0
(x3 ≡ x4) ≡ (x3 ≡ x5) = 0
(x4 ≡ x5) ≡ (x4 ≡ x6) = 0
(x5 ≡ x6) ≡ (x5 ≡ x7) = 0
(x6 ≡ x7) ≡ (x6 ≡ x8) = 0
(x1 ≡ x2) ≡ (x1 ≡ x3) = 0
(x2 ≡ x3) ≡ (x2 ≡ x4) = 0
(x1 ≡ x2) ≡ (x1 ≡ x3) = 1
(x2 ≡ x3) ≡ (x2 ≡ x4) = 1
(x1 ≡ x2) | (x1 ∧ x3) = 1
(x2 ≡ x3) | (x2 ∧ x4) = 1
(x1 & x2) | (x1 ∧ x3) = 1
(x2 & x3) | (x2 ∧ x4) = 1
(x1 ⇒ x2) ⇒ x3 = 1
(x2 ⇒ x3) ⇒ x4 = 1
(x1 | x2) & (x1 ∧ x3) = 1
(x2 | x3) & (x2 ∧ x4) = 1
(x1 ≡ x2) ≡ (x1 ≡ x3) = 1
(x2 ≡ x3) ≡ (x2 ≡ x4) = 1
(x1 ⇒ x2) ⇒ x3 = 1
(x2 ⇒ x3) ⇒ x4 = 1
(x3 ⇒ x4) ⇒ x5 = 1