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

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.