Сколько различных
решений имеет система логических уравнений(x1→(x2∨y1))∧(y1→y2)=1(x1→(x2∨y1))∧(y1→y2)=1 (x_1 \rightarrow (x_2 \vee y_1)) \wedge (y_1 \rightarrow y_2)=1 (x2→(x3∨y2))∧(y2→y3)=1(x2→(x3∨y2))∧(y2→y3)=1 (x_2 \rightarrow (x_3 \vee y_2)) \wedge (y_2 \rightarrow y_3)=1 ...(x8→(x9∨y8))∧(y8→y9)=1(x8→(x9∨y8))∧(y8→y9)=1 (x_8 \rightarrow (x_9 \vee y_8)) \wedge (y_8 \rightarrow y_9)=1 (x8→y9)=1(x8→y9)=1 (x_8 \rightarrow y_9)=1
где x1,x2,…,x9
и y1,y2,…,y9, – логические переменные? В ответе не нужно
перечислять все различные наборы значений переменных, при которых выполнено
данное равенство. В качестве ответа нужно указать количество таких наборов (т.е. в ответе указать только число).