Translate the following inference to logic notation: It is late if and only if it is sunny. It is not sunny. William is a server. Therefore it is not late and William is a server.
p <-> q. ~q. r. Therefore ~p and r.