2385C4

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

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

 

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

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

(x7 → (x8 /\ y7)) /\ (y7 → y8) = 1

x8 → y8 = 1

 

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

Comments