Translate the following inference to logic notation: It is windy if and only if it is raining. It is not cloudy. It is windy if and only if it is cloudy. Therefore it is not raining or Richard is writing a letter.
p <-> q. ~r. p <-> r. Therefore ~q or s.