a→b∨a→¬b помогите упростить

Для упрощения нам понадобятся пару свойств булевой алгебры:

• A + -A = 0.
• A -> B = -A + B.

Начнем раскрывать импликацию в порядке записи и пользоваться вышезаписанными законами: 

A -> B + A = -A + B + A (помним об -A + A = 0) = B.

Теперь переписываем исходное выражение с учетом только что раскрытой импликации: 

B -> -B = -B + -B (по закону поглощения А + А = А получаем) = -B.

Итого, ответ следующий: A -> B + A -> -B = -B.