| $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.
| $P \rightarrow Q$ |
| $\sim Q\ v\ R$ |
| $\sim R$ |
| $\therefore (\sim P \& \sim R)\ v\ S$ |
| $(A\ v\ D) \rightarrow (R\ \&\ S)$ |
| $E\ v\ (A\ v\ D)$ |
| $F\ \&\ \sim E$ |
| $(R\ \&\ F)\ v\ K$ |
| $(M\ v\ N)\ \&\ K$ |
| $[M\ v\ N)\ v\ L] \rightarrow H$ |
| $[( M\ v\ N)\ \&\ H] \rightarrow Z$ |
| $\therefore Z$ |