Y= 5x^2+x, при х от -20 до 20 с шагом 5 паскаль

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

 

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

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

…

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

(x7 ∨ x8) ∧ (¬x7 ∨ y7) = 1

(¬x8 ∨ y8) = 1

 

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

 

По­яс­не­ние.

Из по­след­не­го урав­не­ния на­хо­дим, что воз­мож­ны три ва­ри­ан­та зна­че­ний x8 и y8: 01, 00, 11. По­стро­им древо ва­ри­ан­тов для пер­вой и вто­рой пар зна­че­ний.

 

 

Таким об­ра­зом, имеем 16 на­бо­ров пе­ре­мен­ных.

Де­ре­во ва­ри­ан­тов для пары зна­че­ний 11:

 

 

По­лу­ча­ем 45 ва­ри­ан­тов. Таким об­ра­зом, си­сте­ма будет иметь 45 + 16 = 61 раз­лич­ных на­бо­ров ре­ше­ний.

 

ответ: 61

Построим битовые цепочки для первого и второго уравнений. Они одинаковые:

x1 1 0 0 0 0 0 0
x2 1 1 0 0 0 0 0
x3 1 1 1 0 0 0 0
x4 1 1 1 1 0 0 0
x5 1 1 1 1 1 0 0
x6 1 1 1 1 1 1 0

y1 1 0 0 0 0 0 0
y2 1 1 0 0 0 0 0
y3 1 1 1 0 0 0 0
y4 1 1 1 1 0 0 0
y5 1 1 1 1 1 0 0
y6 1 1 1 1 1 1 0

В 3 уравнении если x1=1, то y1 обязательно должен быть равен 1. Если x1=0, значит y1 может быть равен и 1, и 0.
Получается, что первому столбцу в цепочке иксов соответствует один набор в цепочке игриков, остальным шести столбцам иксов - семь столбцов игриков. 
Получается, что количество решений равно 1 + 6*7 = 43