$P$ | $Q$ | $P \vee Q$ | $Q \vee P$ | $(P \vee Q) \rightarrow (Q \vee P)$ |
T | T | T | T | T |
T | F | T | T | T |
F | T | T | T | T |
F | F | F | F | T |
$P$ | $Q$ | R | $P \wedge Q$ | $P \vee R$ | $(P \wedge Q) \rightarrow (P \vee R)$ |
T | T | T | T | T | T |
T | T | F | T | T | T |
T | F | T | F | T | T |
T | F | F | F | T | T |
F | T | T | F | T | T |
F | T | F | F | F | T |
F | F | T | F | T | T |
F | F | F | F | F | T |
$P$ | $Q$ | $\neg P$ | $\neg P \vee Q$ | $P \rightarrow Q$ | $(\neg P \vee Q) \rightarrow (P \rightarrow Q)$ |
T | T | F | T | T | T |
T | F | F | F | F | T |
F | T | T | T | T | T |
F | F | T | T | T | T |
$P$ | $\neg P$ | $P \vee \neg P$ | $P \rightarrow (P \vee \neg P)$ | $(P \vee \neg P) \rightarrow P$ | $P \leftrightarrow (P \vee \neg P)$ |
T | F | T | T | T | T |
F | T | T | T | F | F |
$P$ | $P \rightarrow P$ | $P \rightarrow (P \rightarrow P)$ | $(P \rightarrow P) \rightarrow P$ | $P \leftrightarrow (P \rightarrow P)$ |
T | T | T | T | T |
F | T | T | F | F |