Prove by both Natural Deduction and Resolution

[TinyTex]

Homework Statement

Prove by both natural deduction and by resolution
((X \Rightarrow ¬Y)\vee(¬X\RightarrowY))\Rightarrow(¬(X\wedgeY)\wedge¬(¬X\wedge¬Y))

Homework Equations

The Attempt at a Solution

as far as natural deduction on this goes i have no idea since there is no ' I- ' looking symbol so I am clueless

i also got a bit stuck on the resolution this is what i have so far

¬CNF
¬(((X \Rightarrow ¬Y)\vee(¬X\RightarrowY))\Rightarrow(¬(X\wedgeY)\wedge¬(¬X\wedge¬Y)))

- ((X \Rightarrow ¬Y)\vee(¬X\RightarrowY))\wedge(¬(X\wedgeY)\wedge¬(¬X\wedge¬Y))
- ((¬X \wedge ¬Y)\vee(X\wedgeY))\wedge¬(¬(X\wedgeY)\wedge¬(¬X\wedge¬Y))
- ((¬X \wedge ¬Y)\vee(X\wedgeY))\wedge¬(¬(X\wedgeY)\wedge¬(¬X\wedge¬Y))
- ((¬X \wedge ¬Y)\vee(X\wedgeY))\wedge¬((¬X\vee¬Y)\wedge(X\veeY))
- ((¬X \wedge ¬Y)\vee(X\wedgeY))\wedge¬(¬X\vee¬Y)\vee¬(X\veeY)
- ((¬X \wedge ¬Y)\vee(X\wedgeY))\wedge(X\wedgeY)\vee¬(X\veeY)
- ((¬X \wedge ¬Y)\vee(X\wedgeY))\wedge(X\wedgeY)\vee(¬X\wedge¬Y)

then i don't know what do as it gets stuck i probably did something wrong somewhere i can see that i screwed up my latez on the left hand side i know its (¬X v ¬Y v X v Y) not (¬X \wedge ¬Y)\vee(X\wedgeY) its the right hand side which i got stuck on

 

[TinyTex]

*bump