Отправлено: 14.05.20 01:02. Заголовок: 23!!!

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

(x1→ (x2∧ x3)) ∧ (y1→ y2) = 1
(x2→ (x3∧ x4)) ∧ (y2→ y3) = 1
...
(x5→ (x6∧ x7)) ∧ (y5→ y6) = 1

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

Можно ли преобразовать:
(x1->x2)*(x1->x3)*(y1->y2)=1
....
(x5->x6)*(x5->x7)*(y5->y6)=1

и тогда:
x1x2x3x4x5x6x7 (всего 8 реш)
0 0 0 0 0 0 0
0 0 0 0 0 0 1
0 0 0 0 0 1 1
0 0 0 0 1 1 1
.....
1 1 1 1 1 1 1

x1x2x3x4x5x6 (всего 7 реш)
y1y2y3y4y5y6 (всего 7 реш)

7*8=56 и еще плюс 7 решений =63

Почему плюс 7 решений?! Для меня не понятно!

Вроде по логике должно быть 7*8*7

В чем моя ошибка?


В ответах к тесту вообще 8 решений

 Отправлено: 14.05.20 07:21. Заголовок: deli пишет: x1x2x3x..

deli пишет:

цитата:

x1x2x3x4x5x6x7 (всего 8 реш) 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 1 1 ..... 1 1 1 1 1 1 1

x6->x7 =1 - этого утверждения нет в исходной системе. После преобразования Вы добавили зависимость, которой нет в системе.

 Отправлено: 25.05.20 01:03. Заголовок: Спасибо пришла к пра..

Спасибо пришла к правильному ответу!