Дискретная математика. Закон поглащения. Алгебра высказываний. - вопрос №3168069

Из закона поглощения, который гласит a+(a*b)== a. Показывается закон составлением таблицы истинности. В задаче равносильных преобразований которая( на фото) этот закон используется
обведенную формулу можно преобразовать по этому закону, но переменные имеют знак отрицания. Можно ли при отрицательных эл-тах использовать этот закон?( при составлении табл истинности вывел, что в этом случае формула не всегда яви истинной. С самого начала страницы доказывается что а+НЕ а *b == a+b. d. Если преобразовывать согласно другим законам, получается другая равносильность. Прошу помощи.