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