A ∧ B ∨ ¬A = ¬A ∨ B
Почему так? Разве это верно? Не понимаю как вытекает одно из другого. Можно подробную пошаговую инструкцию?

Да, они тождественно равны. Составь таблицу истинности получишь в левой части (1101) и в правой тоже (1101)