A ∨ B | ||
A → C | ||
B → D | ||
![]() | C ∨ D |
Case | A | B | C | D | A ∨ B | A → C | B → D | C ∨ D |
---|---|---|---|---|---|---|---|---|
1 | T | T | T | T | T | T | T | T |
2 | T | T | T | F | T | T | F | T |
3 | T | T | F | T | T | F | T | T |
4 | T | T | F | F | T | F | F | F |
5 | T | F | T | T | T | T | T | T |
6 | T | F | T | F | T | T | T | T |
7 | T | F | F | T | T | F | T | T |
8 | T | F | F | F | T | F | T | F |
9 | F | T | T | T | T | T | T | T |
10 | F | T | T | F | T | T | F | T |
11 | F | T | F | T | T | T | T | T |
12 | F | T | F | F | T | T | F | F |
13 | F | F | T | T | F | T | T | T |
14 | F | F | T | F | F | T | T | T |
15 | F | F | F | T | F | T | T | T |
16 | F | F | F | F | F | T | T | F |