Чтобы заполнить таблицу истинности для выражения \(
eg (
eg A \lor
eg B \land C) \), мы будем пошагово вычислять значения для каждого подвыражения.
| A | B | C | \( eg A \) | \( eg B \) | \( eg B \land C \) | \( eg A \lor ( eg B \land C) \) | \( eg ( eg A \lor eg B \land C) \) |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 |
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 0 |
| 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 |
| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 0 |
| 1 | 0 | 0 | 0 | 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 0 | 1 | 1 | 1 | 0 |
| 1 | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 |