| P | Q | R | Q→R | P→(Q→R) |
| F F F F T T T T | F F T T F F T T | F T F T F T F T | T T F T T T F T | T T T T T T F T |
| P | Q | R | P→R | Q→(P→R) |
| F F F F T T T T | F F T T F F T T | F T F T F T F T | T T T T F T F T | T T T T T T F T |
| P | Q | R | P→Q | R→Q | (P→Q)∧(R→Q) |
| F F F F T T T T | F F T T F F T T | F T F T F T F T | T T T T F F T T | T F T T T F T T | T F T T F F T T |
| P | Q | R | P∨R | P∨R→Q |
| F F F F T T T T | F F T T F F T T | F T F T F T F T | F T F T T T T T | T F T T F F T T |
| P | Q | P→Q |
| F F T T | F T F T | T T F T |
| P | Q | ¬P | ¬P∨Q |
| F F T T | F T F T | T T F F | T T F T |