A tautology is a statement that is always true.
| q | p | q→p | p→q | p v (p→q) | p v (q→p) |
| T | T | T | T | T | T |
| T | F | F | T | T | F |
| F | T | T | F | T | T |
| F | F | T | T | T | T |
| q | p | q→p | p→q | p v (p→q) | p v (q→p) |
| T | T | T | T | T | T |
| T | F | F | T | T | F |
| F | T | T | F | T | T |
| F | F | T | T | T | T |
Saved in this browser. Nothing changes for anyone else.