Построить таблицы истиности для следующих логических выражений B&(AvB) A&(BvB_)

Следует заметить, что выражение 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