Translate the following inference to logic notation: It is raining if and only if David is sad. If David were sad, then it is raining. Therefore David is sad if and only if it is raining.
p <-> q. q -> p. Therefore q <-> p.