Другие языки программирования и технологии

Логика. Нужна помощь.

Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z.

Дан фрагмент таблицы истинности выражения F:

Какое выражение соответствует F?

1) ¬X \/ ¬Y \/ ¬Z
2) ¬X /\ ¬Y /\ ¬Z
3) X /\ Y /\ Z
4) X \/ Y \/ Z

P.S. Желательно расписать подробно и доступно)
Таблица соответствует 1 выражению, т. к только для него таблица полностью истинна
¬X \/ ¬Y \/ ¬Z соответствует неX или неY или неZ, т. е значение выражения истинно, если хотя бы один из операндов равен 0 и значение выражения ложно, если все операнды имеют значение 1
СМ
Сардор Муминов
15 134
Лучший ответ
Фрагмент таблицы истинности не годится, нужна вся таблица, все восемь строчек для конкретного случая
Берешь строчки, в которой F = 1 и пишешь and всех агрументов, если агрумент = 1, то аргумент, а если 0, то отрицание аргумента.
Потом or всех этих строчек

Для фрагмента получится, если в оставшейся части таблицы F = 0;
F = (X and Y and not Z) or (X and not Y and Z)
X можно вынести за скобки
F = X and (( Y and not Z ) or (not Y and Z)) = X and (Y xor Z)

А если в оставшейся части таблицы F = 1, то получится
F = not (X and Y and Z) = not X or not Y or not Z

Заполнять оставшийся фрагмент можно еще многими вариантами, и из каждого можно построить логическую фукцию, фрагмент таблицы истинности которой будет совпадать, с приведенным выше.

Что за придурки преподаватели составляют задания?
F=not (X and Y and Z)
Игор Палазник
Игор Палазник
2 075
Мне бы расписать вопрос подробно и доступно...
"Гопник года" прав!!!!
Vladimir Karjalainen
Vladimir Karjalainen
246