Draw a truth table to verify if the following proposition is a Tautology, a Contradiction or a…
Draw a truth table to verify if the following proposition is a Tautology, a Contradiction or a Contingency.
$(A \wedge \sim B) => (\sim A \vee B)$
Answer
Answer
AIWritten by AI (antigravity) - it can contain mistakes.
Truth table for (A ∧ ~B) => (~A ∨ B):
Conclusion: The final column contains both 1 (True) and 0 (False) values (specifically False when A=1, B=0). Therefore, the proposition is a Contingency.
| A | B | ~A | ~B | A ∧ ~B | ~A ∨ B | (A ∧ ~B) => (~A ∨ B) |
|---|---|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 0 | 0 | 1 | 1 |
From ISC 2026 Computer Science Paper 1, question 4(iii).