Для начала перепишем выражение в виде Дизъюнктивной нормальной формы (ДНФ):
(¬x ∨ z) • (¬x ∨ ¬y ∨ z)
Теперь упростим выражение:
¬x • (z ∨ ¬y)¬x • (¬y ∨ z)
Таким образом, упрощенная ДНФ: ¬x • (¬y ∨ z)
Для начала перепишем выражение в виде Дизъюнктивной нормальной формы (ДНФ):
(¬x ∨ z) • (¬x ∨ ¬y ∨ z)
Теперь упростим выражение:
¬x • (z ∨ ¬y)
¬x • (¬y ∨ z)
Таким образом, упрощенная ДНФ: ¬x • (¬y ∨ z)