For this formula, say whether it is a tautology, a contradiction, or a contingent statement.

(P ∨ Q) ↔ (~P → Q).


A. tautology


B. contradiction


C. contingent