Форум » Логические выражения » ege2 задача 136 » Ответить
ege2 задача 136
lapevgen: Я рассуждаю следующем образом. Выражение ¬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
кот Бегемот: Вы совершенно правы, я, рассуждая традиционно, тоже убедился, что в ответе ошибка, правильный ответ: xyzw. Странно, что целый месяц руководство форума не может в этом убедиться...
polyakovss: Здравствуйте! Нет, Вы совершенно не правы. В задаче 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
кот Бегемот: Я не знаю, о какой задаче №136 Вы говорите, вот передо мной задача 136, на всякий случай делаю её копию: Задача 136 Где Вы там нашли Ваш ответ ZWYX? Подставляем ваше решение в 1 строку и сразу получаем 0.
polyakovss: 2: составление таблицы истинности логической функции Обновление! 20.09.2016
mmv: *PRIVAT*
Поляков: mmv пишет: Сейчас на сайте выложены ответы на ege2 до номера 145, а в самом файле только 136 заданий. Возможно, у вас старый файл засел в кэше браузера. на сайте все нормально.
полная версия страницы