Для заполнения таблицы истинности нам нужно вычислить значение выражения (~A ∧ B v ¬C) v (C ∧ ¬B) для всех возможных комбинаций значений A, B и C (0 - ложь, 1 - истина).
Обозначения:
Вычислим промежуточные значения:
И, наконец, всё выражение:
| A | B | C | ¬A | ¬C | ¬B | ¬A ∧ B | ¬A ∧ B v ¬C | C ∧ ¬B | (¬A ∧ B v ¬C) v (C ∧ ¬B) |
|---|---|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
| 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| A | B | C | ¬A | ¬C | ¬B | ¬A ∧ B | ¬A ∧ B v ¬C | C ∧ ¬B | (¬A ∧ B v ¬C) v (C ∧ ¬B) |
|---|---|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 1 | 1 | 1 | 0 | 1 | 0 | 1 |
| 0 | 0 | 1 | 1 | 0 | 1 | 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 1 | 1 | 0 | 1 | 1 | 0 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 0 | 1 | 0 | 1 |
| 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 |
| 1 | 1 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
Ответ: Заполненная таблица истинности представлена выше.