| $A\ \rightarrow\ B$ |
| $(R\ \&\ D)\ v\ A$ |
| $T\ v\ [(R\ \&\ D)\ \rightarrow\ W]$ |
| $D\ \&\ \sim\ T$ |
| $\therefore\ [D\ \&\ (W\ v\ B)])\ v\ \sim\ A$ |
| $(1)\ A \rightarrow B$ | $P$ |
| $(2)\ (R\ \&\ D)\ v\ A$ | $P$ |
| $(3)\ T\ v\ [(R\ \&\ D)\ \rightarrow\ W]$ | $P$ |
| $(4)\ D\ \&\ \sim\ T$ | $P/\ \therefore\ [D\ \&\ (W\ v\ B]\ v\ \sim\ A$ |
| $(5)\ \sim\ T$ | $4,$ Simp. |
| $(6)\ (R\ \&\ D)\ v\ W$ | $3, 5, DS$ |
| $(7)\ W\ v\ B$ | $6, 1, 2, CD$ |
| $(8)\ D$ | $4,$ Simp. |
| $(9)\ D\ \&\ (W\ v\ B)$ | $8, 7,$ Conj. |
| $(10)\ [D\ \&\ (W\ v\ B)]\ v\ \sim\ A$ | $9,$ Add. |
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $(A\ \rightarrow\ B)\ \&\ (D\ \rightarrow\ E)$ |
| $(B\ \rightarrow\ T)\ \&\ (E\ \rightarrow\ A)$ |
| $\sim\ T$ |
| $\therefore\ \sim\ D\ \&\ \sim\ T$ |
| $A \rightarrow B$ |
| $B \rightarrow S$ |
| $A\ \&\ T$ |
| $\therefore S\ \&\ T$ |
| $(A\ \rightarrow\ B)\ v\ D$ |
| $H\ \rightarrow\ [(A \ \rightarrow\ B)\ \rightarrow\ R]$ |
| $D\ \rightarrow\ E$ |
| $(E\ v\ F)\ \rightarrow\ H$ |
| $E\ v\ F$ |
| $(R\ v\ E)\ \&\ H$ |
| $\sim P\ \&\ (Q\ v\ R)$ |
| $(Q \rightarrow A)\ \&\ (R \rightarrow B)$ |
| $(A\ v\ B) \rightarrow (P\ v\ R)$ |
| $R$ |