QUESTION
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[P → (~q ∨ r)] ↔ ~[p → (q → r)]
Determine whether the following statement pattern is a tautology, contradiction, or contingency.
[P → (~q ∨ r)] ↔ ~[p → (q → r)]