Translate the following inference to logic notation: Sarah is making tea if and only if it is overcast. Sarah is not making tea. Therefore it is not overcast or David is poor.
p <-> q. ~p. Therefore ~q or r.