Для заполнения таблицы истинности необходимо последовательно вычислить значения для каждой части логического выражения, а затем и всего выражения целиком.
Логические операции:
| A | B | C | ¬B | ¬C | A ∧ ¬B | ¬C ∨ A | (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 | 1 | 1 |
Объяснение вычислений для одной строки (например, для первой строки A=0, B=0, C=0):
Код:
| 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 |