| p | q | r | ~p | ~q | ~p ^ ~q | (~p ^ ~q) ® r Premise 1 | ~p ˅ ~q Premise 2 | Premise 1 ^ Premise 2 | [Premise1 ^ Premise2] ® Conclusion |
| T | T | T | F | F | F | T | F | F | T |
| T | T | F | F | F | F | T | F | F | T |
| T | F | T | F | T | F | T | T | T | T |
| T | F | F | F | T | F | T | T | T | F |
| F | T | T | T | F | F | T | T | T | T |
| F | T | F | T | F | F | T | T | T | F |
| F | F | T | T | T | T | T | T | T | T |
| F | F | F | T | T | T | F | T | F | T |