Отправлено: 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.
В чем я ошибаюсь?

 Отправлено: 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. Заголовок: Ответ

2: составление таблицы истинности логической функции Обновление! 20.09.2016

 Отправлено: 22.09.16 10:13. Заголовок: ­ege2

*PRIVAT*

 Отправлено: 23.09.16 12:25. Заголовок: mmv пишет: Сейчас на..

mmv пишет:

цитата:

Сейчас на сайте выложены ответы на ege2 до номера 145, а в самом файле только 136 заданий.

Возможно, у вас старый файл засел в кэше браузера. на сайте все нормально.