Translate the following inference to logic notation: It is overcast. Charles is sleeping if and only if it is late. If it is overcast, then Charles is sleeping. Therefore it is late.
p. q <-> r. p -> q. Therefore r.