check (A → C) ↓ B ∧ C → B TRUE
| (A → C) ↓ B | ||
 | C → B |
Truth check table
| Case | A | C | B | (A → C) ↓ B | C → B |
|---|---|---|---|---|---|
| 1 | T | T | T | F | T |
| 2 | T | T | F | F | F |
| 3 | T | F | T | F | T |
| 4 | T | F | F | T | T |
| 5 | F | T | T | F | T |
| 6 | F | T | F | F | F |
| 7 | F | F | T | F | T |
| 8 | F | F | F | F | T |
Public: Yes;
Show truth table: Yes;
| (A → C) ↓ B | ||
| C → B |
| Case | A | C | B | (A → C) ↓ B | C → B |
|---|---|---|---|---|---|
| 1 | T | T | T | F | T |
| 2 | T | T | F | F | F |
| 3 | T | F | T | F | T |
| 4 | T | F | F | T | T |
| 5 | F | T | T | F | T |
| 6 | F | T | F | F | F |
| 7 | F | F | T | F | T |
| 8 | F | F | F | F | T |