Applications
Truth tables can be used to prove many other logical equivalences. For example, consider the following truth table:
| p | q | ¬p | ¬p ∨ q | p → q |
|---|---|---|---|---|
| T | T | F | T | T |
| T | F | F | F | F |
| F | T | T | T | T |
| F | F | T | T | T |
This demonstrates the fact that p → q is logically equivalent to ¬p ∨ q.
Read more about this topic: Truth Table