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