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.