Translate the following inference to logic notation: Michael is curious if and only if Jessica is taking a plane. Michael is curious or it is late. Jessica is not taking a plane. Therefore it is late or it is cloudy.
p <-> q. p or r. ~q. Therefore r or s.