доказать логическое тождество _ _А (А+В) =АВ

Это выражение не является тождеством, поскольку равенство не выполняется при A = 1 и B = 0 (я исходил из того, что «_» у вас означает отрицание, а «+» — логическое «или»).