Задание

Сколько решений

имеет система уравнений? Знак ¬ обозначает логическую операцию отрицания.

(x1≠x3)(x1¬x2

˅ ¬x1x2)(x1 ˅ x2 ˅ ¬x1¬x2)=0

(x2≠x4)(x2¬x3

˅ ¬x2x3)(x2 ˅ x3 ˅ ¬x2¬x3)=0

(x3≠x5)(x3¬x4

˅ ¬x3x4)(x3 ˅ x4 ˅ ¬x3¬x4)=0