I had to think about this one for a bit. The phrase "logically equivalent" took me a bit. The A->B is logically equivalent to /B->/A because the left side guarantees the right side, not that they are trying to reach the same outcome.