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