| A → B | Кто работает, тот получает деньги | |
| B → C | Кто получает деньги, то тратит деньги на еду | |
| C → D | Кто тратит деньги на еду, тот ест | |
| ~ A → D | Кто не работает - тот ест |
X работает
X получает деньги
X тратит деньги на еду
Х ест
| Case | A | B | C | D | A → B | B → C | C → D | ~ A → 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 | T | T |
| 5 | T | F | T | T | F | T | T | T |
| 6 | T | F | T | F | F | T | F | T |
| 7 | T | F | F | T | F | T | T | T |
| 8 | T | F | F | F | F | T | T | T |
| 9 | F | T | T | T | T | T | T | T |
| 10 | F | T | T | F | T | T | F | F |
| 11 | F | T | F | T | T | F | T | T |
| 12 | F | T | F | F | T | F | T | F |
| 13 | F | F | T | T | T | T | T | T |
| 14 | F | F | T | F | T | T | F | F |
| 15 | F | F | F | T | T | T | T | T |
| 16 | F | F | F | F | T | T | T | F |