Question

pls simply
X -> (Y ->X)

Answer 1

-x v (-y v x)

-x v -y v x

-x v x v -y

T v -y

T

Answer 2

may i ask y T v -y is T ???

Answer 3

True or doesnt matter = True

Answer 4

thx : )

Answer 5

yep

T v T = T

T v F = T

so -y is rather pointless :)