Составить равносильную формулу (¬y ∨ (x ∧ ¬z)) ≡ (y → x)

я привожу через эквивалентные преобразования к сднф и скнф. застряла на этом этапе, ибо не понимаю, как избавиться от ≡ и →