I visit Sword Lake only if I go to Hanoi. → q → p,

Whenever I go to Hanoi, I visit Sword Lake. → p → q,

I went to Hanoi, but I did not visit Sword Lake. → p ^ ¬q,

I cannot visit Sword Lake if I do not go to Hanoi → ¬p → ¬q