Сколь­ко су­ще­ству­ет раз­лич­ных на­бо­ров зна­че­ний ло­ги­че­ских пе­ре­мен­ных x1, x2, … x7, y1, y2, … y7, ко­то­рые удо­вле­тво­ря­ют всем пе­ре­чис­лен­ным ниже усло­ви­ям?

(x1 ∨ x2) ∧ (¬x1 ∨ ¬x2) ∧ (¬x1 ∨ y1) = 1

(x2 ∨ x3) ∧ (¬x2 ∨ ¬x3) ∧ (¬x2 ∨ y2) = 1

...

(x6 ∨ x7) ∧ (¬x6 ∨ ¬x7) ∧ (¬x6 ∨ y6) = 1

(¬x7 ∨ y7) = 1

В от­ве­те не нужно пе­ре­чис­лять все раз­лич­ные на­бо­ры зна­че­ний пе­ре­мен­ных x1, x2, … x7, y1, y2, … y7, при ко­то­рых вы­пол­не­на дан­ная си­сте­ма ра­венств. В ка­че­стве от­ве­та Вам нужно ука­зать ко­ли­че­ство таких на­бо­ров.