23 Как узнать сколько существует различных наборов значений логических переменных x1, x2, ... x8, y1, y2, … y8, которые удовлетворяют всем перечисленным ниже условиям?(x1→x2) / (y1→y2) / (y1→x1) = 1(x2→x3) / (y2→y3) (y2→x2) = 1…(x7→x8) / (y7→y8) / (y7→x7) = 1(y8→x8) = 1В ответе не нужно перечислять все различные наборы значений переменных x1, x2, ... x8, y1, y2, … y8, при которых выполнена данная система равенств.В качестве ответа Вам нужно указать количество таких наборов.

Сколь­косу­ще­ству­ет раз­лич­ных на­бо­ров зна­че­ний ло­ги­че­скихпе­ре­мен­ных 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