Следует заметить, что выражение Bamp;(AvB) можно упростить. Оно эквивалентно значению B, поскольку оно может быть равно 1 только если B = 1 и AvB = 1, которое равно 1 всегда при B = 1.
А выражение Aamp;(BvB_) эквивалентно значению A, поскольку BvB_ = 1.

Таким образом, таблица истинности будет выглядеть так:
A B Bamp;(AvB) Aamp;(BvB_)
0 0        0            0
0 1        1            0
1 0        0            1
1 1        1            1