Translate the following inference to logic notation: It is late if and only if it is windy. If Barbara were rich, then it is windy. It is late or Barbara is rich. Therefore it is windy.
p <-> q. r -> q. p or r. Therefore q.