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