Translate the following inference to logic notation: It is sunny if and only if it is overcast. It is sunny if and only if Linda is reading a book. It is late if and only if Linda is reading a book. It is not overcast. Therefore it is not late.
p <-> q. p <-> r. s <-> r. ~q. Therefore ~s.