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