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,
is also True
. In other words, the above two expressions are equivalent to each other.