Таблица истинности для выражения A ∨ ¬B ∧ C → ¬(A ∧ B):
| A | B | C | ¬B | ¬B ∧ C | A ∨ (¬B ∧ C) | A ∧ B | ¬(A ∧ B) | A ∨ ¬B ∧ C → ¬(A ∧ B) |
| 0 | 0 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
| 0 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 | 0 | 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 | 0 | 0 | 0 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 | 1 |
| 1 | 0 | 1 | 1 | 1 | 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 | 0 | 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 |
Значение функции является тавтологией (всегда истина), за исключением случаев, когда A=1, B=1, C=0 или A=1, B=1, C=1.