Построим таблицу истинности для логического выражения $$(A \lor B) \land
eg(A \land B)$$.
| A | B | A ∨ B | A ∧ B | ¬(A ∧ B) | (A ∨ B) ∧ ¬(A ∧ B) |
|---|---|---|---|---|---|
| Истина | Истина | Истина | Истина | Ложь | Ложь |
| Истина | Ложь | Истина | Ложь | Истина | Истина |
| Ложь | Истина | Истина | Ложь | Истина | Истина |
| Ложь | Ложь | Ложь | Ложь | Истина | Ложь |
Таким образом, выражение истинно только когда A и B имеют разные значения.