Построить таблицы истиности для следующих логических выражений 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