Какая из следующих конъюнктивных нормальных форм эквивалентна следующей формуле: ¬ (¬x → (y + z))
(Отметьте один правильный вариант ответа.)
Варианты ответа
¬x ∧ ¬y ∧ (x∨ z)
(x ∨ ¬y ∨¬z) ∧ (y ∨ z)
¬y ∧ (¬x ∨ z) ∧ (¬x ∨ y ∨ z)
¬x ∧ (¬y ∨ ¬z) ∧ (y ∨ ¬z) (Верный ответ)
(¬x ∨¬y) ∧ (¬x ∨ z)