Translate the following inference to logic notation: Barbara is a nurse if and only if it is sunny. If Barbara were a nurse, then it is sunny. Barbara is not a nurse. Therefore it is not sunny.
p <-> q. p -> q. ~p. Therefore ~q.