Для заполнения таблицы истинности нам нужно последовательно вычислить значение выражения -(A ∧ ¬(A → B)) для всех возможных комбинаций значений A, B и C.
Сначала разберем выражение по частям:
Проверим значения:
В таблице истинности также присутствует столбец C, который не участвует в выражении. Поэтому значение столбца C не влияет на результат.
| A | B | C | A → B | ¬(A → B) | A ∧ ¬(A → B) | -(A ∧ ¬(A → B)) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 0 |
| 1 | 0 | 1 | 0 | 1 | 1 | 0 |
| 1 | 1 | 0 | 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 | 0 | 0 | 1 |
Ответ:
| A | B | C | -(A ∧ ¬(A → B)) |
|---|---|---|---|
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |