Question
(p → q) ↔ (~ p v q)
| 1 | 2 | 3 | 4 | 5 | 6 | |
| p | q | ~ p | p $\rightarrow$ q | ~ p v q | (p $\rightarrow$ q)$\rightarrow$ (~ p v q) | |
| 1 | T | T | F | T | T | T |
| 2 | T | F | F | F | F | T |
| 3 | F | T | T | T | T | T |
| 4 | F | F | T | T | T | T |
| 1 (~) | 1, 2 ($\rightarrow$) | 3, 2 (v) | 4, 5 ($\leftrightarrow$) | |||
Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.
| $(H\ \&\ K)\ \rightarrow\ (J\ v\ K)$ |
| $\sim\ E\ \&\ \sim\ F$ |
| $F\ v\ \sim\ (J\ v\ K)$ |
| $\sim\ (H\ \&\ K)\ \rightarrow\ H$ |
| $H\ \&\ \sim\ E$ |
| $A\ \&\ B.$ |
| $B\rightarrow (D\ v\ E)$ |
| $\sim E$ |
| $D \rightarrow (P \rightarrow \sim Q)$ |
| $\therefore P\rightarrow \sim Q$ |
| $(E\rightarrow F)\rightarrow H$ |
| $\sim J\ v (F\ \&\ G)$ |
| $F \rightarrow(H\rightarrow I)$ |
| $\sim\ \sim J$ |
| $G\ \&\ [(E\rightarrow F) \rightarrow I]$ |
| $(W\ O\ \rightarrow\ T)\ \&\ (F\ \rightarrow\ Y)$ |
| $B\ \&\ (P\ \rightarrow\ W)$ |
| $(E\ \rightarrow\ F)\ \&\ (H\ v\ I)$ |
| $P\ v\ E$ |
| $\therefore\ B\ \&\ (T\ v\ Y)$ |