Дано логическое выражение: (A ∧ ¬B ∨ ¬C) ∨ A
Чтобы заполнить таблицу истинности, нам нужно последовательно вычислить значения для каждой части выражения, а затем для всего выражения.
Сначала разберём отрицания ¬B и ¬C.
Теперь вычислим A ∧ ¬B:
Далее вычислим (A ∧ ¬B) ∨ ¬C:
Наконец, вычислим всё выражение ((A ∧ ¬B) ∨ ¬C) ∨ A:
Заполним таблицу:
| A | B | C | ¬B | ¬C | A ∧ ¬B | (A ∧ ¬B) ∨ ¬C | ((A ∧ ¬B) ∨ ¬C) ∨ A |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 0 |
| 1 | 0 | 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 1 | 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 1 |
Ответ:
| A | B | C | (A ∧ ¬B ∨ ¬C) ∨ A |
|---|---|---|---|
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 0 |
| 0 | 1 | 0 | 1 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 1 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 1 |
| 1 | 1 | 1 | 1 |