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