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