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