Ответ:
Читаю выражение как \((A \land B) \to ((A \to B) \lor C)\). Если между частями стоит другой знак, пришлите более чёткое фото: итоговый столбец может измениться.
Импликация \(X \to Y\) ложна только тогда, когда \(X=1\), а \(Y=0\). Сначала вычислим промежуточные выражения, затем всю формулу.
| A | B | C | A ∧ B | A → B | (A → B) ∨ C | (A ∧ B) → ((A → B) ∨ C) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 1 | 1 | 1 |
| 0 | 0 | 1 | 0 | 1 | 1 | 1 |
| 0 | 1 | 0 | 0 | 1 | 1 | 1 |
| 0 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 1 | 1 | 1 |
При таком прочтении итоговый столбец во всех строках равен 1.
