Найти количество различных наборов значений логических переменных x1,x2,…,x7,y1,y2,…,y7x_1, x_2, \ldots, x_7, y_1, y_2, \ldots, y_7x1,x2,…,x7,y1,y2,…,y7, удовлетворяющих системе уравнений:
(¬x1∨y1)→(¬x2∧y2)=1(\neg x_1 \lor y_1) \to (\neg x_2 \land y_2) = 1(¬x1∨y1)→(¬x2∧y2)=1 (¬x2∨y2)→(¬x3∧y3)=1(\neg x_2 \lor y_2) \to (\neg x_3 \land y_3) = 1(¬x2∨y2)→(¬x3∧y3)=1 ⋮\vdots⋮ (¬x6∨y6)→(¬x7∧y7)=1(\neg x_6 \lor y_6) \to (\neg x_7 \land y_7) = 1(¬x6∨y6)→(¬x7∧y7)=1
.svg){kind=small}
.svg){kind=small}
.svg){kind=small}
