Что представляет собой упрощенное логическое выражение для A+A`B`?

Причина, по которой A + A'B эквивалентна A + B, заключается в том, что A' является излишним, учитывая предшествующее ему A +. Если бы A' еще не было истинным, то A было бы так, A + уже сделало бы все истинным. Что угодно может следовать за A' во второй части, а ответ будет A + в остальном. В вашем случае A + A'B' эквивалентно A + B'. Мы можем проверить с помощью таблицы истинности:

A    B    A'    B'     A'B'    A + A'B'    A + B'
T    T    F     F      F       T           T
T    F    F     T      F       T           T
F    T    T     F      F       F           F
F    F    T     T      T       T           T

Поскольку A + A'B' и A + B' имеют одинаковые значения для всех возможных входных данных, они эквивалентны.