–
–
| ~ | P | (P | & | Q) | ||||
| F | T | T | T | T | ||||
| F | T | T | F | F | ||||
| T | F | F | F | T | ||||
| T | F | F | F | F |
–
| (P | ∨ | Q) | (P | x∨ | Q) | |||
| T | T | T | T | F | T | |||
| T | T | F | T | T | F | |||
| F | T | T | F | T | T | |||
| F | F | F | F | F | F |
–
| (P | → | Q) | (P | ↔ | Q) | |||
| T | T | T | T | T | T | |||
| T | F | F | T | F | F | |||
| F | T | T | F | F | T | |||
| F | T | F | F | T | F |
–
–
| Negation | ~ | Opposite of the truth-value of the WFF on the right. | |
| Conjunction | & | True when the WFF on the left and te WFF on the right are both true, otherwise false. | |
| Inclusive Disjunction | ∨ | False when the WFF on the left and the WFF on the right are both false, otherwise true. | |
| Exclusive Disjunction | x∨ | False when the truth-value of the WFF on the left matches that of the WFF on the right, true when they clash. | |
| Conditional | → | False when the WFF on the left is true and the WFF on the right is false, otherwise true. | |
| Bi-Conditional | ↔ | True when the truth-value of the WFF on the left matches that of the WFF on the right, false when they clash. |
–