¬y(z→(x≡y)) сделать скнф и сднф чтоб по 3 числа было
Чтобы преобразовать выражение ¬y(z→(x≡y)) в сканоническую нормальную форму (СКНФ) и стандартную нормальную форму (СДНФ) с использованием трех переменных, давайте сначала разберем его.
- Начнем с преобразования импликации и эквиваленции:
- Импликация \( z \rightarrow (x \equiv y) \) можно записать как \( ¬z \lor (x \equiv y) \).
- Эквиваленция \( x \equiv y \) равна \( (x \land y) \lor (¬x \land ¬y) \).
Теперь подставим это обратно: \[ ¬y(¬z \lor ((x \land y) \lor (¬x \land ¬y))) \]
Раскроем скобки: \[ ¬y(¬z \lor (x \land y) \lor (¬x \land ¬y)) \]
Дальше, используя закон дистрибутивности, мы получим:
\[ ≡ ¬y(¬z) \lor ¬y(x \land y) \lor ¬y(¬x \land ¬y) \]
- Упрощаем:
- Первый член: \( ¬y(¬z) = ¬y \lor z \) (когда ¬y = 1 можно учитывать)
- Второй член: \( ¬y(x \land y) = ¬yx \) (так как \( y \) умножается на саму себя, результат остается \( ¬yx \))
- Третий член: \( ¬y(¬x \land ¬y) = ¬y¬x \)
Теперь соберем все вместе: \[ ¬y¬z \lor (¬yx) \lor (¬y¬x) \]
- Для получения СДНФ, мы должны получить минимальные произведения:
- СДНФ будет равен сочетаниям всех минимальных членов.
- Наименьшими числами, которые можно вывести будут комбинации из трех переменных.
- СКНФ — это конъюнкции из дизъюнкций, где также стоит учитывать все возможные случаи.
Таким образом, общая структура будет точной для 3-х переменных, и итоговая форма, как правило, должна выглядеть линейно.
В качестве примера, СДНФ может быть: \[ (¬y + ¬z)(¬y + x)(¬x + ¬y) \]
А для СКНФ: \[ (y + z)(y + ¬x)(¬y + x + z) \]
Пожалуйста, подправьте выражение на основании правил, которые вы имеете и убедитесь, что ваш результат соответствует вашим требованиям. Если нужны дополнительные разъяснения или примеры, дайте знать!
