Prove by both Natural Deduction and Resolution

[TinyTex]

Homework Statement

Prove by both natural deduction and by resolution
((X $\Rightarrow$ ¬Y)$\vee$(¬X$\Rightarrow$Y))$\Rightarrow$(¬(X$\wedge$Y)$\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$\Rightarrow$Y))$\Rightarrow$(¬(X$\wedge$Y)$\wedge$¬(¬X$\wedge$¬Y)))

- ((X $\Rightarrow$ ¬Y)$\vee$(¬X$\Rightarrow$Y))$\wedge$(¬(X$\wedge$Y)$\wedge$¬(¬X$\wedge$¬Y))
- ((¬X $\wedge$ ¬Y)$\vee$(X$\wedge$Y))$\wedge$¬(¬(X$\wedge$Y)$\wedge$¬(¬X$\wedge$¬Y))
- ((¬X $\wedge$ ¬Y)$\vee$(X$\wedge$Y))$\wedge$¬(¬(X$\wedge$Y)$\wedge$¬(¬X$\wedge$¬Y))
- ((¬X $\wedge$ ¬Y)$\vee$(X$\wedge$Y))$\wedge$¬((¬X$\vee$¬Y)$\wedge$(X$\vee$Y))
- ((¬X $\wedge$ ¬Y)$\vee$(X$\wedge$Y))$\wedge$¬(¬X$\vee$¬Y)$\vee$¬(X$\vee$Y)
- ((¬X $\wedge$ ¬Y)$\vee$(X$\wedge$Y))$\wedge$(X$\wedge$Y)$\vee$¬(X$\vee$Y)
- ((¬X $\wedge$ ¬Y)$\vee$(X$\wedge$Y))$\wedge$(X$\wedge$Y)$\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$\wedge$Y) its the right hand side which i got stuck on

 

[TinyTex]

*bump