Two possible ways to prove if a statement is a tautology are these:
1. Build a truth table.
2. Supposing the statement is false and concluding a contradiction or not.
Is the mathematical statement at the top a tautology?
Your answer seems reasonable.
Find out if you're right!