F9E956

Отправлено 22 апр. 2017 г., 12:20 пользователем Галкин Ярослав С.

Сколько существует различных наборов значений логических переменных 
x1x2, … x6y1y2, … y6, которые удовлетворяют всем перечисленным ниже условиям?

 

(y1 → (y2 /\ x1)) /\ (x1 → x2) = 1

(y2 → (y3 /\ x2)) /\ (x2 → x3) = 1

(y5 → (y6 /\ x5)) /\ (x5 → x6) = 1

y6 → x6 = 1

 

В ответе не нужно перечислять все различные наборы значений переменных x1x2, … x6y1y2, … y6, при которых выполнена данная система равенств. 
В качестве ответа Вам нужно указать количество таких наборов.

Comments