Conditional statements i really need some

p -> q is represented as "If you have a library card, then you can check out books"

~q -> ~p is represented as "If you cannot check out books, then you do not have a library card" This is contrapositive by definition.

q -> p is represented as "If you can check out books, then you have a library card" This is the converse

~p -> ~q is represented as "If you do not have library card, then you cannot check out books". This is the inverse

p <-> q is represented as "You have library card if and only if you can check out books". This is the biconditional.