Homework Sourseppq Verify the above statement is a tautology Use a truth ta
p¬(pq) Verify the above statement is a tautology. Use a truth table.
Solution
A tautology is a proposition that is always true.
To Prove : p¬(pq) is always true.
From the above truth table, we can illustrate that p¬(pq) is always true.
| p | q | (pq) | ¬(pq) | p¬(pq) |
| T | T | T | F | T |
| T | F | F | T | T |
| F | T | F | T | T |
| F | F | F | T | T |
