Translate the following inference to logic notation: If Jennifer writes a letter, then it is not overcast. If Jennifer writes a letter, then it is cloudy. Jennifer is writing a letter if and only if it is cloudy. It is overcast. Therefore it is not cloudy.
p -> ~q. p -> r. p <-> r. q. Therefore ~r.