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