Translate the following inference to logic notation: It is overcast if and only if it is late. It is raining if and only if it is overcast. Patricia is not climbing a mountain or it is raining. Patricia is climbing a mountain or it is late. Therefore it is overcast.
p <-> q. r <-> p. ~s or r. s or q. Therefore p.