23-я из стрима БУ

 Законы алгебры логики

   (x1≡x2) = (x1^x2) v ( !x1^!x2)

Система

(x1≡x2) v (x1≡x3)=1
(x2≡x3) v (x2≡x4)=1
(x3≡x4) v (x3≡x5)=1
(x4≡x5) v (x4≡x6)=1
(x5≡x6) v (x5≡x7)=1
(x6≡x7) v (x6≡x8)=1