| $(R\ \rightarrow\ S)\ \&\ (A\ v\ C)$ |
| $B\ \&\ (P\ \rightarrow\ W)$ |
| $(W\ \rightarrow\ T)\ \&\ (S\ \rightarrow\ Y)$ |
| $P\ v\ R$ |
| $T\ v\ Y$ |
| $(1)\ (R\ \rightarrow\ S)\ \&\ (A\ v\ C)$ | $P$ |
| $(2)\ B\ \&\ (P\ \rightarrow\ W)$ | $P$ |
| $(3)\ (W\ \rightarrow\ T)\ \&\ (S\ \rightarrow\ Y)$ | $P$ |
| $(4)\ P\ v\ R$ | $P/ T\ v\ Y$ |
| $(5)\ R\ \rightarrow\ S$ | $1,$ Simp. |
| $(6)\ P\ \rightarrow\ W$ | $2,$ Simp. |
| $(7)\ W\ \rightarrow\ T$ | $3,$ Simp. |
| $(8)\ S\ \rightarrow\ Y$ | $3,$ Simp. |
| $(9)\ W\ v\ S$ | $6, 5, 4, CD$ |
| $(10)\ T\ v\ Y$ | $7, 8, 9, CD$ |
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $\sim P\ \&\ (Q\ v\ R)$ |
| $(Q \rightarrow A)\ \&\ (R \rightarrow B)$ |
| $(A\ v\ B) \rightarrow (P\ v\ R)$ |
| $R$ |
| $A\ \&\ B.$ |
| $B\rightarrow (D\ v\ E)$ |
| $\sim E$ |
| $D \rightarrow (P \rightarrow \sim Q)$ |
| $\therefore P\rightarrow \sim Q$ |
| (G $\rightarrow$ H) $\rightarrow$ (I $\leftrightarrow$ J) |
| K v ~(L $\rightarrow$ M) |
| (G $\rightarrow$ H) v ~ K |
| N $\rightarrow$ (L $\rightarrow$ M) |
| ~ (I J) |
| $\therefore$~ N & ~ K |
| (A & B) $\rightarrow$ [A $\rightarrow$ (D & E)] |
| (A & B) & C |
| $\therefore$E v G |