Translate the following inference to logic notation: If it is overcast, then Linda is a scientist. If it is sunny, then it is overcast. It is sunny or Linda is not a scientist. Therefore Linda is a scientist if and only if it is sunny.
p -> q. r -> p. r or ~q. Therefore q <-> r.