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