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