Splnitelnost, tautologie, kontradikce

Tvrzení `(P \Rightarrow Q) \Leftrightarrow (Q \Rightarrow P)` je: