+------------------------+
| P | Q | (P => Q) |
+------------------------+
| T | T | T |
| T | F | F |
| F | T | T |
| F | F | T |
+------------------------+
Operators: (~ ^ <=> => -> <-> V [+])