Which statement is logically equivalent to ~a �¨ b?

a �¨ ~b
b �¨ ~a
~b �¨ a
~b �¨ ~a

1 answer

In Western-8859-1 encoding, the question is:
Which statement is logically equivalent to ~a → b?

a → ~b
b → ~a
~b → a
~b → ~a

~b → a is the correct answer.

Consider the statement
a=I ate
b=I am hungry

So
~a → b means
If I did not eat, I am hungry.
Try to interpret the rest of the statements, and the only one that is logically equivalent is
If I am not hungry, I ate. (~b→a)