Сколько различных решений имеет логическое уравнение
((x1↔x2)→(x3↔x4))∧((x3↔x4)→(x5↔x6))∧((x5↔x6)→(x7↔x8))=1((x_1 \leftrightarrow x_2) \to (x_3 \leftrightarrow x_4)) \land ((x_3 \leftrightarrow x_4) \to (x_5 \leftrightarrow x_6)) \land ((x_5 \leftrightarrow x_6) \to (x_7 \leftrightarrow x_8)) = 1((x1↔x2)→(x3↔x4))∧((x3↔x4)→(x5↔x6))∧((x5↔x6)→(x7↔x8))=1
где x1,x2,…,x8x_1, x_2, \ldots, x_8x1,x2,…,x8 — логические переменные?
.svg){kind=small}
.svg){kind=small}
.svg){kind=small}
