Для заполнения таблицы истинности нам нужно вычислить значение выражения (A v C) ^ ¬(B v C) для каждой комбинации значений A, B и C.
Сначала вычислим значение (A v C), затем ¬(B v C), и в конце их конъюнкцию (^).
Логические операции:
| A | B | C | A v C | B v C | ¬(B v C) | (A v C) ^ ¬(B v C) |
|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 | 1 | 0 |
| 0 | 0 | 1 | 1 | 1 | 0 | 0 |
| 0 | 1 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 1 | 1 | 0 | 0 |
| 1 | 0 | 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 | 1 | 0 | 0 |