Для решения данной задачи необходимо построить таблицу истинности для логического выражения ¬(A&B∨¬C). Для этого рассмотрим все возможные комбинации значений A, B и C, вычислим промежуточные значения (¬C, A&B, A&B∨¬C) и, наконец, вычислим значение всего выражения ¬(A&B∨¬C).
Таблица истинности будет выглядеть следующим образом:
| A | B | C | ¬C | A&B | (A&B)∨¬C | ¬((A&B)∨¬C) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 0 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 0 | 1 |
| 0 | 1 | 0 | 1 | 0 | 1 | 0 |
| 0 | 1 | 1 | 0 | 0 | 0 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 0 |
| 1 | 0 | 1 | 0 | 0 | 0 | 1 |
| 1 | 1 | 0 | 1 | 1 | 1 | 0 |
| 1 | 1 | 1 | 0 | 1 | 1 | 0 |
Где: