Условие:
Найди ДНФ, КНФ, СДНФ, СКНФ (методом равносильных преобразований):
(¬Z∨Y)⊃¬(Y↔X)
Решение:
- Начнем с исходного выражения:
(¬Z∨Y)⊃¬(Y↔X)
- Преобразуем импликацию (A ⊃ B) в эквивалентную форму (¬A ∨ B):
¬(¬Z∨Y) ∨ ¬(Y↔X)
- Применим закон де Моргана к ¬(¬Z∨Y):
(Z ∧ ¬Y) ∨ ¬(Y↔X)
- Теперь преобразуем ¬(Y↔X) в эквивалентную форму:
¬(Y↔X) = ¬((Y ∧ X) ∨ (¬Y ∧ ¬X)) = (Y ∧ ¬X) ∨ (¬Y ∧ X)
- Подставим это обратно в выражение:
(Z ∧ ¬Y) ∨ ((Y ∧ ¬X) ∨ (¬Y ∧ X))
- Упрощаем выражение:
(Z ∧ ¬Y) ∨ (Y ∧ ¬X) ∨ (¬Y ∧ X)
Теперь у нас есть выражение в форме, удобной д...
Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение
Что нужно знать по теме:
Что нужно знать по теме
Алгоритм решения
Топ 3 ошибок
Что спросит препод
Похожие задачи