Question
Determine whether the following statement patterns is a tautology or a contradiction or a contingency:
[(~p ∧ q) ∧ (q ∧ r)] ∨ (~q)
[(~p ∧ q) ∧ (q ∧ r)] ∨ (~q)

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
[p → (~ q ˅ r)] ↔ ~[p → (q → r)] is a tautology, contradiction or contingency.