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