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