Ответ:

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

ABA ⊕ B(A ⊕ B) → B
0001
0111
1010
1101