| $(A\ v\ B)\ v\ Q$ |
| $(J\ v\ K)\ v\ R$ |
| $\sim\ R\ \&\ \sim\ Q$ |
| $\therefore\ (A\ v\ B)\ \&\ (J\ v\ K)$ |
| $(1)\ (A\ v\ B)\ v\ Q$ | $P$ |
| $(2)\ (J\ v\ K)\ v\ R$ | $P$ |
| $(3)\ \sim \ R\ \&\ \sim\ Q$ | $P/\therefore (A\ v\ B)\ \&\ (J\ v\ K)$ |
| $(4)\ \sim\ Q$ | $3,$ Simp. |
| $(5)\ A\ v\ B$ | $1, 4, DS$ |
| $(6)\ \sim\ R$ | $3,$ Simp. |
| $(7)\ J\ v\ K$ | $2, 6, DS$ |
| $(8)(A\ v\ B)\ \&\ (J\ v\ K)$ | $5, 7,$ 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$ |
| $\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$ |
| $A \rightarrow J$ |
| $B \rightarrow R$ |
| $(A\ v\ B)\&\ \sim D$ |
| $J \rightarrow D$ |
| $\therefore (D\ v\ R)\ \&\ (B\ v\ K)$ |
| $J \rightarrow K$ |
| $J\ v\ (K\ v\ \sim\ L)$ |
| $\sim K$ |
| $\therefore \sim L\ \&\ \sim K$ |