Translate the following inference to logic notation: It is overcast. It is cloudy if and only if it is raining. It is raining. Therefore it is overcast and it is cloudy.
p. q <-> r. r. Therefore p and q.