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