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

\/ а это разве не +?

Да, +. F=(x+-y) -->(-x-->y); F=-(x+-y)+x+y; F= -x*y+x+y; F=y(-x+1)+x; F=x+y; F=1, если (x=1 и y=1) или (х=0 и у=1), или (х=1 и у=0)

Спасибо)

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