6. Since there are two statement variables, the truth table will have 4 rows. Start by filling in the four different combinations of truth values for p and q.
| p | q | p L q | ~p | ~q | p L ~q | ~p V (p L ~q) | (p L q) V (~p V (p L ~q)) | ||
| T | T | ||||||||
| T | F | ||||||||
| F | T | ||||||||
| F | F |
Now fill in columns 3, 4 and 5 using the truth tables for L and ~.
| p | q | p L q | ~p | ~q | p L ~q | ~p V (p L ~q) | (p L q) V (~p V (p L ~q)) | ||
| T | T | T | F | F | |||||
| T | F | F | F | T | |||||
| F | T | F | T | F | |||||
| F | F | F | T | T |