Проверить выводимость в исчислении высказываний методом резолюций: ⊢¬A∨¬B→¬(A&B).
Очень нужна помощь, я просто запуталась.