Ответ:
Перебираем все наборы значений переменных в порядке 00, 01, 10, 11. Операция ⊕ (исключающее ИЛИ) истинна, когда значения A и B различны. Импликация ложна только тогда, когда её посылка истинна, а заключение ложно.
| A | B | A ⊕ B | (A ⊕ B) → B |
|---|---|---|---|
| 0 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 |
| 1 | 0 | 1 | 0 |
| 1 | 1 | 0 | 1 |
