Задание

Сколько решений
имеет система уравнений? Знак ¬ обозначает логическую операцию отрицания.
\(x1&\#8800;x3\)\(x1¬x2 &\#709; ¬x1x2\)\(x1 &\#709; x2 &\#709; ¬x1¬x2\)=0
\(x2&\#8800;x4\)\(x2¬x3 &\#709; ¬x2x3\)\(x2 &\#709; x3 &\#709; ¬x2¬x3\)=0
\(x3&\#8800;x5\)\(x3¬x4 &\#709; ¬x3x4\)\(x3 &\#709; x4 &\#709; ¬x3¬x4\)=0
\(x4&\#8800;x6\)\(x4¬x5 &\#709; ¬x4x5\)\(x4 &\#709; x5 &\#709; ¬x4¬x5\)=0