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

Q&A Platform for Education
Platform Explore for Education