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