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