Автор | Сообщение |
|
Отправлено: 13.08.16 22:31. Заголовок: ege2 задача 136
Я рассуждаю следующем образом. Выражение ¬w /\ (x /\ ¬z \/ ¬x /\ ¬y /\ z) должно быть истинно на указанных наборах, значит на всех наборах w должно быть равно 0, а это последний столбец. Он никак не может быть x, как в ответе. Если привести к СДНФ, то получится x /\ ¬y /\ ¬z /\ ¬w \/x /\ y /\ ¬z /\ ¬w \/ ¬x /\ ¬y /\ z /\ ¬w Данная формула истинна на наборах xyzw 1000 1100 0010 Это и есть строчки из данной таблицы истинности, только в другом порядке. Ответ получается xyzw. В чем я ошибаюсь?
|
|
|
Ответов - 6
[только новые]
|
|
|
Отправлено: 15.09.16 17:52. Заголовок: Вы совершенно правы,..
Вы совершенно правы, я, рассуждая традиционно, тоже убедился, что в ответе ошибка, правильный ответ: xyzw. Странно, что целый месяц руководство форума не может в этом убедиться...
|
|
|
|
Отправлено: 18.09.16 02:44. Заголовок: Вы совершенно не правы
Здравствуйте! Нет, Вы совершенно не правы. В задаче 136 из задания 2 приведен правильный ответ: ZWYX. Lapevgen пишет: «…на всех наборах w должно быть равно 0, а это последний столбец». Нет, это в задаче 135 такой последний столбец, а в рассматриваемой 136 задаче — это второй столбец. Уже по этой причине ваши ответы неправильные. Lapevgen пишет: «Данная формула истинна на наборах xyzw 1000 1100 0010 Это и есть строчки из данной таблицы истинности, только в другом порядке». Это правильно. Вот только этот «другой порядок» и нужно определить. Сделаем это. Ранее определили, что второй столбец соответствует W. Теперь обратим внимание на то, что в рассматриваемых наборах только в столбце X имеются две единицы. Сравнение с таблицей, приведенной в условии задачи, показывает, что это — 4 столбец. 4 столбец соответствует X. В рассматриваемых наборах Y = 1 вместе с X = 1. Это — третий столбец. Третий столбец соответствует Y. Наконец, в рассматриваемых наборах Z = 1 вместе с X = 0 и Y = 0. Это — первый столбец. Первый столбец соответствует Z. Ответ: ZWYX Способ 2. Обозначим столбцы таблицы a, b, c, d, F. Ранее определили, что b соответствует w. F = ¬w /\ F1 Тогда, используя СДНФ (совершенную дизъюнктивную нормальную форму), можно, исходя из таблицы истинности, приведенной в условии, записать: F1 = ¬a /\ ¬c /\ d \/ ¬a /\ c /\ d \/ a \/ ¬c /\ ¬d = d /\ ¬a \/ ¬d /\ ¬c /\ a Получили: F1 = d /\ ¬a \/ ¬d /\ ¬c /\ a По условию F1 = x /\ ¬z \/ ¬x /\ ¬y /\ z Простое сравнение дает: d — x, a — z, c — y. Поэтому abcd — zwyx. Ответ: ZWYX
|
|
|
|
Отправлено: 19.09.16 22:41. Заголовок: Я не знаю, о какой з..
Я не знаю, о какой задаче №136 Вы говорите, вот передо мной задача 136, на всякий случай делаю её копию: Задача 136 Где Вы там нашли Ваш ответ ZWYX? Подставляем ваше решение в 1 строку и сразу получаем 0.
|
|
|
|
Отправлено: 20.09.16 16:31. Заголовок: Ответ
|
|
|
|
Отправлено: 22.09.16 10:13. Заголовок: ege2
*PRIVAT*
|
|
|
|
| Администратор
|
Сообщение: 1176
|
|
Отправлено: 23.09.16 12:25. Заголовок: mmv пишет: Сейчас на..
mmv пишет: цитата: | Сейчас на сайте выложены ответы на ege2 до номера 145, а в самом файле только 136 заданий. |
|
Возможно, у вас старый файл засел в кэше браузера. на сайте все нормально.
|
|
|
|