Please note that I am assuming ~q means “not q” and that “P -> ~q” means “P implies not q”.
I am also not 100% sure about P-> ~q when P is false and q is true. (Logically speaking, this should make the statement true, but I haven’t explicitly learned that)