Answer
The given statement is a tautology.
Work Step by Step
A compound statement that is always true is called a tautology, and a compound statement that is always false is called a self-contradiction.
The truth table for the symbolic statement \[\left( p\leftrightarrow q \right)\leftrightarrow \left[ \left( q\to p \right)\wedge \left( p\to q \right) \right]\] is shown below