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