Let's have some logic exercise:

T= truth, and F=false.

One should know this which one is true here: T==T and also this F==F and also this T==F

T AND F, F AND F, T AND T, F AND T.

T IMPLIES F, F IMPLIES T, T IMPLIES T, F IMPLIES F.

NOT { [ (T AND T) XOR (F IMPLIES T)] IMPLIES T }

This is logic.