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