| $(P\ \&\ R)\ v\ (S\ \rightarrow\ T)$ |
| $Q \rightarrow \sim\ (P\ \&\ R)$ |
| $P\ v\ Q$ |
| $\sim\ P$ |
| $(S\ \rightarrow\ T)\ \&\ Q$ |
| $(1)\ (P\ \&\ R)\ v\ (S\ \rightarrow\ T)$ | $P$ |
| $(2)\ Q\ \rightarrow\ \sim\ (P\ \&\ R)$ | $P$ |
| $(3)\ P\ v\ Q$ | $P$ |
| $(4)\ \sim\ P$ | $P/ (S\ \rightarrow\ T)\ \&\ Q$ |
| $(5)\ Q$ | $3, 4, DS$ |
| $(6)\ \sim\ (P\ \&\ R)$ | $2, 5, MP$ |
| $(7)\ S\ \rightarrow\ T$ | $1, 6, DS$ |
| $(8)\ (S\ \rightarrow\ T)\ \&\ Q$ | $7, 5,$ Conj. |
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $(P \leftrightarrow Q) \rightarrow (A \leftrightarrow B)$ |
| $(R \ \&\ S)\ v\ (P \leftrightarrow Q)$ |
| $(F \ \&\ D) \rightarrow \sim\ (R \ \&\ S)$ |
| $(H \ \&\ G)\ v\ (F \ \&\ D)$ |
| $\sim (H \ \&\ G)$ |
| $(A \leftrightarrow B)\ v\ (B \leftrightarrow D)$ |
| $A \rightarrow B$ |
| $D\ v\ A$ |
| $E\ \rightarrow \sim\ D$ |
| $F\ v\ E$ |
| $\therefore\ A\ \&\ B$ |
| $T \rightarrow B$ |
| $B \rightarrow ( \sim\ P \rightarrow\ \sim\ Q)$ |
| $\sim\ P\ \&\ \sim\ R$ |
| $T$ |
| $\therefore\sim\ Q\ v\ X$ |
| $(A\ \&\ B)\ \rightarrow\ P$ |
| $\sim\ P\ \&\ \sim\ Q$ |
| $(J\ \rightarrow\ K)\ \rightarrow\ Q$ |
| $\sim\ (A\ \&\ B)\ \&\ \sim\ (J\ \rightarrow\ K)$ |
| $M \rightarrow N$ |
| $N \rightarrow O$ |
| $(M \rightarrow O) \rightarrow (N \rightarrow P)$ |
| $(N \rightarrow P) \rightarrow Q$ |
| $(Q\ v\ Z)\ \&\ Q$ |