Определите истинность выражения (X \/¬Y) → (¬X → Y)

F=(x*¬y)→(¬x→y)
F=¬(x*¬y) +(x+y)
F=¬x+y+x+y                                (¬x+x=1;     1+y=1;  y+y=y)
F=1