Отправлено: 02.04.13 12:19. Заголовок: почему не првильно ? вариант 22.0313

http://cs307713.vk.me/v307713944/5eb2/rFtvBQ8l8Pw.jpg
почему не правильно?
Преподаватель не согласен с ответом 121 , а утверждает , что вот ее решение и оно правильное. Объясните

 Отправлено: 02.04.13 12:27. Заголовок: vitek пишет: Препода..

vitek пишет:

цитата:

Преподаватель не согласен с ответом 121

1) На сайте есть программа, можно проверить.
2) Ответ организаторов - 121, и я с ним согласен.
3) На сайте есть разбор (почти) этой задачи.
4) Дальше - сами.

 Отправлено: 13.04.13 19:29. Заголовок: Подскажите, пожалуйс..

Подскажите, пожалуйста, на какой странице почти такая задача.

 Отправлено: 24.04.13 10:40. Заголовок: Вот решение, основан..

Вот решение, основанное на разборах К.Полякова
Сколько существует различных наборов значений логических переменных, которые удовлетворяют всем перечисленным ниже условиям?
(x1→ x2) → (x3→ x4) = 1
(x3→ x4) → (x5 → x6) = 1
(x5 → x6) → (x7 → x8) = 1
Решение.
1.Введем подстановку: y1 = x1→ x2 и т.д. Получим
y1→ y2 = 1
y2→ y3 = 1
y3→ y4 = 1

2.Объединяем систему в одно уравнение:
(y1→ y2) /\ (y2→ y3) /\ (y3→ y4) = 1

3.Получаем 5 "правильных" наборов y для этого выражения, т.е. не содержащих «1→0»:
0000
0001
0011
0111
1111

4.Теперь вернемся к исходным переменным y1 = x1 → x2. Имеем:
1 набор х1 и х2, дающий y=0 (1→0) и 3 набора х1 и х2, дающий y=1

5.Так будет и для других y.

6.Поэтому для каждого правильного набора y просто перемножаем количество правильных вариантов х.

y1y2y3y4 наборы х
0000 1*1*1*1 1
0001 1*1*1*3 3
0011 1*1*3*3 9
0111 1*3*3*3 27
1111 3*3*3*3 81
Итого 121