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.

Comments