We have learned that the logical implication ($C\Rightarrow D$) is equivalent to the following expressions,

$C\bar{D} ~ \text{is false} ~,$ $\bar{C} + D ~ \text{is true} ~,$ $C = CD ~,$

Now, using the above expressions, show that if,

$(B\Rightarrow \overline{A}) ~,$

is True then,

$(A+\overline{B}) ~ (\overline{A}+A\overline{B}) ~+~ \overline{A}B ~ (A+B) ~,$

is also True. In other words, the above two expressions are equivalent to each other.