Translate the following inference to logic notation: It is late if and only if it is windy. It is late if and only if it is raining. It is raining or it is windy. Therefore it is late.
p <-> q. p <-> r. r or q. Therefore p.